Papers or
preprints (chronologically since 1996)
-
Conceptualism: sets and classes,
-
Absolute Infinity, with Leon Horsten,
-
Some observations on truth hierarchies,
submitted to Review of Symbolic Logic, pp39.
pdf
-
Global Reflection principles, currently in the Isaac Newton Institute pre-print series, No. NI12051-SAS,
to appear as part of the Harvard ``Exploring the Frontiers of Incompleteness'' Series volume, 2014,
Ed. P. Koellner, pp28.
pdf
-
Revision Revisited, with Leon Horsten, Graham Leigh & Hannes Leitgeb
in Review of Symbolic Logic, 5, No.4, Dec. 2012, pp642-664.
pdf
-
Truth, Logical Validity, and Determinateness: a commentary on Field's "Saving Truth from Paradox"
in Review of Symbolic Logic, 4, No.3, Sept. 2011.
pdf
-
Games for Truth
in Bulletin of Symbolic Logic, vol.15, No.4, Dec. 2009, 410-427.
pdf
-
Necessities and Necessary Truths:
A Prolegomenon to
the Use of Modal Logic in
the Analysis of Intensional Notions
with Volker Halbach in Mind,
vol. 118, No.469, pp71-100; Jan. 2009
pdf
-
Turing Unbound: on the extent of computation in Malament-Hogarth spacetimes
in
British Journal for the Philosophy of Science, vol 59. No.4, Dec. 2008, 659-674.
pdf
ps
-
Field on Revenge
with Agustin Rayo,
in The Revenge of
the Liar, Ed. J.C. Beall,
O.U.P., Feb. 2008, 234-249.
pdf
dvi
ps
-
Ultimate truth vis à vis
stable truth
in Review of Symbolic Logic, 1, No. 1, June 2008, 126-142.
dvi
ps
pdf
-
The Undecidability of Propositional Adaptive Logic
with L. Horsten,
in Synthese 158, No. 1, Sep. 2007, 41-60.
pdf
Comparing inductive and circular definitions: parameters, complexity and games
Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip Welch
in
Studia Logica, 81, (2005), pp 79-98.
text (pdf),
text (ps),
Abstract.
Possible World Semantics for Predicates
with Volker Halbach & Hannes Leitgeb
in Proceedings of the Munich 2001
Conference on Intensionality,
Ed. R. Kahle, in Lecture
Notes in Logic, vol. 22, 2005, 20-41.
dvi
ps
pdf
On the possibility, or otherwise, of hypercomputation
in British Journal for
Philosophy of Science,vol 55, no. 4, Dec. 2004, 739-746
dvi
ps
Possible World Semantics for Modalities conceived as predicates
with Volker Halbach &
in Journal of Philosophical Logic, 32 No.3,
April 2003, 179-223.
dvi
ps
pdf
On Gupta-Belnap Revision Theories of truth, Kripkean Fixed points, and
the Next Stable Set
a Communication in
Bulletin of Symbolic Logic, vol 7,No.3, 2001, pp 345-360.
ps
pdf
dvi
On Revision Operators
in Journal of Symbolic Logic, 68, No.2, June 2003, 689-711.
ps
pdf
dvi
Set-Theoretic Absoluteness and the
Revision Theory
of Truth, with Benedikt Löwe,
in Studia Logica, vol 68, No.1, June 2001,
(special issue on "Theories of Truth") 21-41.
Set Theory
Abstracts of some of the below.
-
Transfinite Machine Models
a chapter in
``Turing's Legacy'' ,
Ed. R.Downey,
Lecture Notes in Logic, 2013, pp37.
pdf
-
Turing's Mathematical Work
to appear in the Proceedings of the 6'th European Congress of Mathematics
EMS Publishing House, Summer 2014, p13
pdf
-
Some Reflections on Alan Turing's Centenary
in the European Mathematical Society Newsletter , 85,Sep. 2012, 32-38. pdf
-
G_δσ Games
in the Isaac Newton Institute Pre-print series
No. NI12050-SAS
pdf
-
The Aftermath
- a mise en scène in three parts, with L. Horsten,
to appear in the Mathematical Intelligencer
pdf
-
Global Square and Mutual Stationarity at the Aleph_n
with P. Koepke,
in
Annals of Pure and Applied Logic, 162 (2011), 787-806.
pdf
-
Greatly Erdős Cardinals with some generalisations to the Chang and
Ramsey properties
with I.Sharpe,
Annals of Pure and Applied Logic, 162 (2011), 863-902.
pdf
Determinacy in strong cardinal models
in Journal of Symbolic Logic, 76, No.2, June 2011, 719-728.
pdf
Hypermachines
with Sy Friedman in Journal of Symbolic Logic, 76, No.2, June 2011, 620-636.
pdf
Ramsey-like Cardinals II
with Victoria Gitman in Journal of Symbolic Logic, 76, No.2, June 2011, 541-560.
pdf
Weak systems of determinacy and arithmetical quasi-inductive definitions
in Journal of Symbolic Logic, 76, No.2, June 2011, 418-436.
pdf
Discrete transfinite computation models
a chapter in Computability in Context Computation and Logic in the real world
Eds. S.B. Cooper & A. Sorbi; Imperial College Press/ World Scientific, 375-414.
pdf
Relativistic Computers and Transfinite Computation
in Unconventional Computation 2009,
Eds. C. Calude et al.
Lecture Notes in Computer Science 5715, 2009.
Characteristics of discrete transfinite Turing machine models:
halting
times, stabilization times, and Normal Form Theorems
Turing Unbound: Transfinite Computation
in Computation and Logic
in the Real World
Proceedings of
CiE-2007 Siena,
Eds. S.B. Cooper, B. Löwe, A. Sorbi.
Lecture Notes in Computer Science 4497, 2007, 768-780.
ps
dvi
On the consistency of the Inner Model Hypothesis
with Sy-David Friedman, W.Hugh Woodin
in Journal of Symbolic Logic , 73, No.2, 391-400.
pdf
dvi
ps
Σ* Fine Structure
a chapter for the ``Handbook of Set Theory'', vol. 1,
Eds. M. Foreman, A. Kanamori & M. Magidor. Springer, Dec. 2009, 657-745..
ps
Bounding Lemmata for non-deterministic halting times of
transfinite Turing machines
in Theoretical Computer Science, 394, 2008, 223-228.
pdf
dvi
Non-deterministic halting times for Hamkins-Kidder Turing machines
in ``Logical Approaches to Computational Barriers'', CiE2006,
Eds. A. Beckmann, U. Berger, B. Löwe, J. Tucker,
LNCS 3988, 571-574.
dvi
pdf
Some open problems in mutual stationarity involving inner model theory:
a commentary
Proceedings
of the Banff Conference on Singular Cardinal Combinatorics.
in Notre Dame J. of Formal Logic, 46, No.3, 2005, pp.375-379.
ps
pdf
On the transfinite action of 1 tape Turing machines
in New Computational Paradigms CiE 2005 Proceedings,
Eds S.B. Cooper, B. Löwe, L. Torenvliet; LNCS vol.3526, 532-539.
ps
pdf
On the strength of mutual stationarity
with Peter Koepkein ``Set Theory.
Centre de recerca Matematica, Barcelona, 2003-2004'',
Eds. J. Bagaria, S. Todorcevic,
Birkhäuser Verlag,
Trends in mathematics series Basel, 2006, pp 309-320
ps
pdf
A note on mutual indiscernibles
- a gloss on a theorem of Paul Larson.
On Unfoldable cardinals, omega-closed cardinals, and the beginning of the Inner Model
Hierarchy in
Archive for Mathematical Logic, 43 (2004), no. 4, 443-458.
ps
dvi
On a question of Deolalikar, Hamkins & Schindler
(This preprint is subsumed by the Bounding Lemmata...
paper below)
ps
pdf
P^f does not equal NP^f for almost all f
with Joel Hamkins
in Mathematical Logic Quarterly, 49, No.5, 2003, 536-540.
dvi
ps
pdf
Post's and other problems in higher type supertasks
in
Classical and New Paradigms of Computation and their Complexity
hierarchies,
Papers of the Conference
Foundations of the Formal Sciences III Eds. Löwe,
Piwinger, Räsch,
in ``Trends in Logic'' Series, vol. 23,
Kluwer, Oct. 2004, 223-237.
dvi
ps
pdf
Bounded Martin's Maximum, weak Erdős cardinals and ψ_AC
with David Asperó
in Journal of Symbolic Logic, 67 No. 3, Sep. 2002, 1141-1152.
ps
pdf
On Possible Non-homeomorphic Substructures of the Real Line
in Proceedings of the A.M.S., 130 (2002), no. 9, 2771-2775.
ps
dvi
Some remarks on the Maximality of Inner Models
in Proceedings Logic Colloquium '98, Ed. S. Buss, P. Hajek & P. Pudlak,
Lecture Notes in Logic, 13, pp 516-540.
On Elementary Embeddings of an Inner Model to the Universe
with J. Vickers
in Journal of Symbolic Logic ,
66, No.3, Sep. 2001, 1090-1116.
ps
pdf
dvi
Eventually Infinite Time Turing Degrees: infinite time decidable
reals
in Journal of Symbolic Logic, 65, No.3, 2000, pp 1193-1203.
ps
pdf
The Length of Infinite Time Turing Machine Computations
in Bulletin of the London Mathematical Society, 32, No.
2, March 2000, 129-136.
On Successors of Jonsson Cardinals
with J. Vickers
in Archive for Mathematical Logic ,
39,
No. 6, 2000, 465-473.
Friedman's Trick: Minimality Arguments in the Infinite Time Turing Degrees, in "Sets and Proofs" - Proc. Leeds Logic Colloquium,
Ed. S.B.Cooper & J.K.Truss,
Lond. Math. Soc. Lecture
Notes in Mathematics Series, 259, April 1999, C.U.P., pp 425-436.
Determinacy and Δ^1-3 Degrees
to appear in Fundamenta
Mathematicae. (Currently being rewritten -draft only)
Σ^1-3 Absoluteness and the Second Uniform Indiscernible
with J.R.Steel, in Israeli Journal of Mathematics ,
104,1998, 157-190.
Determinacy in the Difference Hierarchy of Co-analytic Sets
in Annals of Pure and Applied Logic , 80,No.1,1996, pp 69-108.
Countable
Unions of Simple Sets in the Core Model
in Journal of Symbolic Logic, 61, No 1, 1996, pp 293-312.