Papers or
preprints (chronologically since 1996)
of some of the
below.

Proving Theorems from Reflection,
to appear in Reflections on the Foundations of Mathematics  Univalent Foundations, Set Theory and General Thoughts,
Eds. S. Centrone, D. Kant, and D. Sarikaya, pp19, Synthese Library in Philosophy. pdf
 The Ramified Analytical Hierarchy using Extended Logics,
to appear in Bulletin of Symbolic Logic, pp17 pdf

Recognizable sets and Woodin cardinals, with Merlin Carl and Philipp Schlicht,
in Annals of Pure and Applied Logic, 169, No. 4, April 2018, 312332 pdf

Gödel,
in The History of Philosophical and Formal Logic, Eds. M. Antonutti, A. Malpass, Bloomsbury, June 2017, 269291. pdf

Rethinking Revision,
to appear in the
Journal of Philosophical Logic, pp17.
pdf

Global Reflection Principles,
in the
Logic, Methodology and Philosophy of Science  Proceedings of the 15th International Congress, 2015,
Eds. H. Leitgeb, I. Niiniluoto, P. Seppälä and E. Sober. College Publications, June 2017, pp18.
pdf

Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities, with Dominik Adolf and Sean Cox,
to appear in the Israel Journal of Mathematics
pp18. pdf
 Obtaining
Woodin's Cardinals
in ``Logic in Harvard: Conference celebrating the
birthday of
Hugh Woodin''
Eds. A. Caicedo, J. Cummings, P.Koellner & P. Larson, AMS Series, Contemporary
Mathematics, vol. 690, 161176, May 2017. pdf
 Large
Cardinals, Inner Models and Determinacy: an introductory overview,
in Notre Dame Journal for
Formal Logic
56, 1, p. 213242. pdf
 The
complexity of dependence,
in
the Journal
of
Philosophical Logic,
44, No.3, June 2015, 337340. pdf
 Conceptualism:
sets and classes,
 Reflecting
on Absolute Infinity, with Leon Horsten,
in Journal
of
Philosophy, 113, Feb. 2016, 89111. pdf
 Local
Club Condensation and Llikeness, with P. Holy, and L.Wu
in Journal
of Symbolic Logic,
80, no. 4, 2015, 13611378. pdf
 Discrete
transfinite computation
in Turing's Revolution: the impact of his ideas about computability
Eds. G. Sommaruga & T. Strahm, Birkhäuser/Springer
Verlag, Basel, Jan. 2016, 161185. pdf
 Turing's
Mathematical Work
in
the Proceedings of the 6'th European Congress of Mathematics
EMS Publishing House, 2014, 763777. pdf
 Some
observations on truth hierarchies,
in
the Review
of Symbolic Logic, 7 No. 1,
March 2014 130. pdf
 Global
Reflection principles, currently in the Isaac Newton
Institute preprint series, No. NI12051SAS,
to appear as part of the Harvard ``Exploring the Frontiers of
Incompleteness'' Series volume, 2014,
Ed. P. Koellner, pp28. pdf
 Transfinite
Machine Models a chapter in
Turing's
Legacy ,
Ed. R.Downey, Lecture Notes in Logic, Association for Symbolic Logic,
2013, pp37. pdf
 Some
Reflections on Alan Turing's Centenary
in
the European Mathematical Society Newsletter , 85,Sep. 2012,
3238. pdf
 G_{δσ}
Games and generalized computation
 G_{δσ};
Games
in
the Isaac Newton Institute Preprint series
No. NI12050SAS, July 2012, pdf
 The
Aftermath  a mise en scène in three parts,
with L.
Horsten,
in
the Mathematical Intelligencer pdf
 Revision
Revisited, with Leon Horsten, Graham Leigh & Hannes
Leitgeb
in Review
of Symbolic
Logic, 5, No.4,
Dec.
2012, pp642664. 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
 Global
Square and Mutual Stationarity at the Aleph_n with P. Koepke,
in Annals
of
Pure and Applied
Logic, 162 (2011), 787806. pdf
 Greatly
Erdős Cardinals with some generalisations to the Chang and
Ramsey properties with I.Sharpe,
in Annals of Pure and Applied Logic, 162
(2011), 863902. pdf
 Determinacy
in strong cardinal models
in Journal of
Symbolic Logic,
76, No.2, June 2011,
719728. pdf
 Hypermachines
with Sy Friedman
in Journal of
Symbolic Logic,
76, No.2, June 2011,
620636. pdf
 Ramseylike
Cardinals II with Victoria Gitman
in Journal of
Symbolic Logic,
76, No.2, June 2011,
541560. pdf
 Weak
systems of determinacy and arithmetical quasiinductive
definitions
in Journal
of
Symbolic Logic,
76, No.2, June 2011, 418436. 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, 375414. 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
CiE2007 Siena,
Eds. S.B. Cooper, B. Löwe, A. Sorbi.
Lecture Notes in Computer Science 4497, 2007, 768780. ps dvi
 On
the consistency of the Inner Model Hypothesis with SyDavid
Friedman, W.Hugh Woodin
in Journal
of
Symbolic Logic, 73, No.2, 391400. 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,
657745. ps
 Games
for Truth
in Bulletin
of Symbolic Logic,
vol.15, No.4, Dec. 2009, 410427. 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, pp71100; Jan. 2009 pdf
 Turing
Unbound: on the extent of computation in MalamentHogarth
spacetimes
in British Journal for the
Philosophy of Science, vol 59.
No.4, Dec. 2008, 659674. pdf ps
 Field
on Revenge with Agustin Rayo,
in The
Revenge of
the Liar, Ed. J.C. Beall,
O.U.P., Feb. 2008, 234249. pdf dvi ps
 Ultimate
truth vis à vis
stable truth
in Review of
Symbolic Logic,
1,
No. 1, June 2008, 126142. dvi ps pdf
 The
Undecidability of Propositional Adaptive Logic with L. Horsten,
in Synthese 158, No. 1, Sep. 2007,
4160. pdf
 Bounding
Lemmata for nondeterministic halting times of
transfinite Turing machines
in Theoretical
Computer Science,
394, 2008, 223228. pdf dvi
 Nondeterministic
halting times for HamkinsKidder Turing machines
 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.375379. 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, 532539. ps pdf
 On
the
strength of mutual stationarity with Peter Koepke
in
``Set Theory.
Centre de recerca Matematica, Barcelona, 20032004'', Eds. J. Bagaria,
S. Todorcevic,
Birkhäuser Verlag, Trends in mathematics series Basel, 2006, pp
309320 ps pdf
 On
the possibility, or otherwise, of hypercomputation
in British Journal for
Philosophy of
Science,vol
55, no. 4, Dec. 2004, 739746 dvi ps
 A
note
on mutual indiscernibles  a gloss on a theorem of Paul Larson.
 Possible
World Semantics for Predicates with Volker Halbach & Hannes
Leitgeb
 Comparing
inductive and circular definitions: parameters, complexity
and games
with KaiUwe
Kühnberger,
 On
Unfoldable cardinals, omegaclosed cardinals, and the beginning of
the Inner Model
Hierarchy
in Archive
for Mathematical
Logic, 43 (2004), no. 4,
443458. ps
dvi
 On
a
question of Deolalikar, Hamkins & Schindler
(This preprint is subsumed by the Bounding Lemmata...
paper above) 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, 223237. dvi ps pdf
 Possible
World Semantics for Modalities conceived as predicates with
Volker Halbach &
Hannes Leitgeb
in Journal of Philosophical Logic, 32
No.3,
April 2003, 179223. dvipspdf
 On
Revision Operators
in Journal
of
Symbolic Logic,
68, No.2,
June 2003, 689711. ps pdf dvi
 P^{f}
does not equal NP^{f} for almost all f with Joel
Hamkins
in Mathematical Logic Quarterly,
49, No.5, 2003, 536540. dvi ps pdf
 Bounded
Martin's Maximum, weak ErdQs cardinals and ψ_{AC} with
David
Asperó
in Journal
of Symbolic Logic,
67 No. 3, Sep. 2002,
11411152. ps
pdf
 On
Possible Nonhomeomorphic Substructures of the Real Line
in Proceedings
of the A.M.S.,
130 (2002), no. 9,
27712775. 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 516540.
 On
Elementary Embeddings of an Inner Model to the Universe
with J. Vickers
in Journal of Symbolic Logic ,
66, No.3, Sep. 2001,
10901116. ps
pdf dvi
 On
GuptaBelnap 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 345360. ps pdf dvi
 SetTheoretic
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") 2141. ps
Eventually
Infinite Time Turing Degrees: infinite time decidable
reals
in Journal
of Symbolic
Logic, 65,
No.3, 2000, pp
11931203. ps
pdf
 The
Length
of Infinite Time Turing Machine Computations
in Bulletin
of the
London Mathematical
Society, 32, No.
2, March 2000, 129136.
 On
Successors of Jonsson Cardinals
with J. Vickers
in Archive for
Mathematical Logic,
39,
No. 6, 2000, 465473.
 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
425436.
 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,
157190.
 Determinacy
in the Difference Hierarchy of Coanalytic Sets
in Annals
of Pure and
Applied Logic,
80,No.1,1996, pp 69108.
 Countable
Unions of Simple Sets in the Core Model
in
Journal
of Symbolic Logic, 61, No 1,
1996, pp 293312.