<H4>

Papers or

preprints (chronologically since 1996)</H4>

<UL>

Philosophy

</UL>

<UL>

<LI>

Large Cardinals, Inner Models and Determinacy: an introductory overview</A>, to appear in the Notre Dame Journal for Formal Logic </LI><UL> pp25.

</A>

</UL>

<LI>

Conceptualism: sets and classes</A>, </LI><UL> pp13.

</A>

</UL>

<LI>

Absolute Infinity</A>, with Leon Horsten, </LI><UL>

submitted, pp33.

</A>

</UL>

<LI>

Some observations on truth hierarchies</A>, </LI><UL> in Review of Symbolic Logic, 7, No.1, Mar. 2014, 1-30.

</A>

</UL>

<LI>

Global Reflection principles</A>, currently in the Isaac Newton Institute pre-print series, No. NI12051-SAS,

<UL> to appear as part of the Harvard ``Exploring the Frontiers of Incompleteness'' Series volume, 2014, Ed. P. Koellner, pp28.

</A>

</UL>

<LI>

Revision Revisited</A>, with Leon Horsten, Graham Leigh & Hannes Leitgeb </LI><UL>

in Review of Symbolic Logic, 5, No.4, Dec. 2012, 642-664.

</A>

</UL>

<LI>

Truth, Logical Validity, and Determinateness: a commentary on Field's "Saving Truth from Paradox"</A> </LI><UL>

in Review of Symbolic Logic, 4, No.3, Sept. 2011.

</A>

</UL>

<LI>

Games for Truth

</A></LI><UL> in Bulletin of Symbolic Logic, vol.15, No.4, Dec. 2009, 410-427.

</UL>

<LI>

Necessities and Necessary Truths:

A Prolegomenon to the Use of Modal Logic in

the Analysis of Intensional Notions

</A> with Volker Halbach </LI><UL> in Mind,

vol. 118, No.469, pp71-100; Jan. 2009

</UL>

<LI>

<A HREF="http://www.maths.bris.ac.uk/~mapdw/borel2.1.pdf

Turing Unbound: on the extent of computation in Malament-Hogarth spacetimes

</A> </LI><UL> in

British Journal for the Philosophy of Science, vol 59. No.4, Dec. 2008, 659-674.

</UL>

<LI>

Field on Revenge

</A> with Agustin Rayo, </LI><UL> in The Revenge of

the Liar, Ed. J.C. Beall,

O.U.P., Feb. 2008, 234-249.</LI>

</UL>

<LI>

Ultimate truth vis &agrave vis

stable truth

</A> </LI><UL>

in Review of Symbolic Logic, 1, No. 1, June 2008, 126-142.

</UL>

<LI>

The Undecidability of Propositional Adaptive Logic

</A> with L. Horsten,<UL></LI> in Synthese 158, No. 1, Sep. 2007, 41-60.

</UL>

<LI>

Comparing inductive and circular definitions: parameters, complexity and games</A> <UL>

Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip Welch

in

Studia Logica, 81, (2005), pp 79-98.

<a TARGET='_blank' HREF="//www.illc.uva.nl/Publications/ResearchReports/PP-2004-07.text.pdf">text (pdf)</a>,

<a TARGET='_blank' HREF="//www.illc.uva.nl/Publications/ResearchReports/PP-2004-07.text.ps.gz">text (ps)</a>,

<a TARGET='_blank' HREF="//www.illc.uva.nl/Publications/ResearchReports/PP-2004-07.abstract.txt">Abstract</a>.

</UL>

<LI>

Possible World Semantics for Predicates

</A> with Volker Halbach & Hannes Leitgeb</LI><UL>

in Proceedings of the Munich 2001

Conference on Intensionality, Ed. R. Kahle, in Lecture

Notes in Logic, vol. 22, 2005, 20-41.

</UL>

<LI>

On the possibility, or otherwise, of hypercomputation</A><UL>

in British Journal for

Philosophy of Science,vol 55, no. 4, Dec. 2004, 739-746

</LI>

</UL>

<LI>

Possible World Semantics for Modalities conceived as predicates

</A> with Volker Halbach & <UL>Hannes Leitgeb</LI>

in Journal of Philosophical Logic, 32 No.3,

April 2003, 179-223.

</UL>

<LI>

On Gupta-Belnap Revision Theories of truth, Kripkean Fixed points, and

the Next Stable Set</A></LI><UL>

a Communication in

Bulletin of Symbolic Logic, vol 7,No.3, 2001, pp 345-360.

</UL>

<LI>

On Revision Operators

</A></LI><UL>

in Journal of Symbolic Logic, 68, No.2, June 2003, 689-711.

</UL>

<LI>

<A HREF="http://www.maths.bris.ac.uk/~mapdw/lowwelch.ps">Set-Theoretic Absoluteness and the

Revision Theory

of Truth</A>, with Benedikt Löwe,

<UL>in Studia Logica, vol 68, No.1, June 2001,

(special issue on "Theories of Truth") 21-41.

</UL>

</LI>

Set Theory

<LI><A HREF="http://www.maths.bris.ac.uk/~mapdw/settheory.html">Abstracts</A></LI> of some of the below. </UL>

<UL>

<LI>

Transfinite Machine Models

</A> a chapter in </LI><UL> ``Turing's Legacy'' ,

Ed. R.Downey,

Lecture Notes in Logic, vol. 42, Association for Symbolic Logic, 2014, 493-529.

</UL>

<LI>

Turing's Mathematical Work</A> in Proceedings of the 6'th European Congress of Mathematics <UL>EMS Publishing House, 2014, 763-777.

</UL>

<LI>

Truth and Turing</A> in `Alan Turing: his work and impact',</LI><UL> Eds. S.B Cooper & J. v Leeuwen; Elsevier, Amsterdam, Oxford, New York, 202-205; 2013.

</UL>

<LI>

Towards the Unknown Region: On computing infinite numbers</A> in `Alan Turing: his work and impact', </LI><UL>Eds. S.B Cooper & J. v Leeuwen; Elsevier, Amsterdam, Oxford, New York, 109-116; 2013.

</UL>

<LI>

Some Reflections on Alan Turing's Centenary</A></LI><UL> in the European Mathematical Society Newsletter, 85, Sep. 2012, 32-38. <A HREF="http://www.maths.bris.ac.uk/~mapdw/welch-corrected-3-newsletter_85_proofs.pdf">pdf</A>

</UL>

<LI>

G_δσ Games

</A> </LI><UL> in the Isaac Newton Institute Pre-print series

No. NI12050-SAS

</UL>

<LI>

The Aftermath - a mise en sc&egravene in three parts</A>, with L. Horsten, </LI><UL> in Mathematical Intelligencer, 35, no. 1, (2013), 16-20.

</UL>

<LI>

Global Square and Mutual Stationarity at the Aleph_n

</A> with P. Koepke, </LI><UL> in

Annals of Pure and Applied Logic, 162 (2011), 787-806.

</UL>

<LI>

Greatly Erd&#337s Cardinals with some generalisations to the Chang and

Ramsey properties

</A> with I.Sharpe, <UL> in

Annals of Pure and Applied Logic, 162 (2011), 863-902.

</UL>

<LI>

Determinacy in strong cardinal models

</A></LI><UL> in Journal of Symbolic Logic, 76, No.2, June 2011, 719-728.

</UL>

<LI>

Hypermachines

</A>with Sy Friedman</LI><UL> in Journal of Symbolic Logic, 76, No.2, June 2011, 620-636.

</UL>

<LI>

Ramsey-like Cardinals II

</A>with Victoria Gitman</LI><UL> in Journal of Symbolic Logic, 76, No.2, June 2011, 541-560.

</UL>

<LI>

Weak systems of determinacy and arithmetical quasi-inductive definitions

</A> </LI><UL> in Journal of Symbolic Logic, 76, No.2, June 2011, 418-436.

</UL>

<LI>

Discrete transfinite computation models</A></LI><UL>

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.

</A>

</UL>

<LI>

Relativistic Computers and Transfinite Computation

</A> </LI><UL> in Unconventional Computation 2009,

Eds. C. Calude et al.

Lecture Notes in Computer Science 5715, 2009.

</UL>

<LI>

Characteristics of discrete transfinite Turing machine models:

halting

times, stabilization times, and Normal Form Theorems

</A> </LI><UL>in Theoretical Computer Science, vol. 410,

Jan. 2009,

426-442 doi:<A HREF="http://dx.doi.org/10.1016/j.tcs.2008.09.050">

10.1016/j.tcs.2008.09.050</A>,

</UL>

<LI>

Turing Unbound: Transfinite Computation

</A> </LI><UL> 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.

</UL>

<LI>

On the consistency of the Inner Model Hypothesis

</A> with Sy-David Friedman, W.Hugh Woodin </LI><UL>

in Journal of Symbolic Logic , 73, No.2, 391-400.</LI>

</UL>

<LI>

Σ* Fine Structure

</A></LI><UL> a chapter for the ``Handbook of Set Theory'', vol. 1,

Eds. M. Foreman, A. Kanamori & M. Magidor. Springer, Dec. 2009, 657-745..

</UL>

<LI>

Bounding Lemmata for non-deterministic halting times of

transfinite Turing machines

</A></LI><UL>

in Theoretical Computer Science, 394, 2008, 223-228.

</UL>

<LI>

Non-deterministic halting times for Hamkins-Kidder Turing machines

</A></LI><UL> in ``Logical Approaches to Computational Barriers'', CiE2006, Eds. A. Beckmann, U. Berger, B. Löwe, J. Tucker,

LNCS 3988, 571-574.

</UL>

<LI>

Some open problems in mutual stationarity involving inner model theory:

a commentary

</A><UL>Proceedings

of the Banff Conference on Singular Cardinal Combinatorics.

in Notre Dame J. of Formal Logic, 46, No.3, 2005, pp.375-379.

</UL>

<LI>

On the transfinite action of 1 tape Turing machines

</A><UL> in New Computational Paradigms CiE 2005 Proceedings,

Eds S.B. Cooper, B. Löwe, L. Torenvliet; LNCS vol.3526, 532-539.

</UL>

<LI>

On the strength of mutual stationarity

</A>with Peter Koepke</LI><UL>in ``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

</UL>

<LI>

A note on mutual indiscernibles

</A> - a gloss on a theorem of Paul Larson.<UL>

</UL>

<LI>

On Unfoldable cardinals, omega-closed cardinals, and the beginning of the Inner Model

Hierarchy</A></LI><UL> in

Archive for Mathematical Logic, 43 (2004), no. 4, 443-458.

</UL></LI>

<LI>

On a question of Deolalikar, Hamkins & Schindler

</A><UL>(This preprint is subsumed by the Bounding Lemmata...

paper below)</LI>

</UL>

<LI>

P^f does not equal NP^f for almost all f

</A> with Joel Hamkins </LI><UL>

in Mathematical Logic Quarterly, 49, No.5, 2003, 536-540.

</UL>

<LI>

Post's and other problems in higher type supertasks

</A> </LI><UL>

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.

</UL>

<LI>

Bounded Martin's Maximum, weak Erd&#337s cardinals and ψ_AC

</A> with David Asperó</LI><UL>

in Journal of Symbolic Logic, 67 No. 3, Sep. 2002, 1141-1152.

</UL>

<LI>

On Possible Non-homeomorphic Substructures of the Real Line

</A></LI><UL>

in Proceedings of the A.M.S., 130 (2002), no. 9, 2771-2775.

</UL>

<LI>

Some remarks on the Maximality of Inner Models </A></LI>

<UL> in Proceedings Logic Colloquium '98, Ed. S. Buss, P. Hajek & P. Pudlak,

Lecture Notes in Logic, 13, pp 516-540.

</UL>

<LI>

On Elementary Embeddings of an Inner Model to the Universe</A>

with J. Vickers</LI>

<UL> in Journal of Symbolic Logic ,

66, No.3, Sep. 2001, 1090-1116.

</UL>

Eventually Infinite Time Turing Degrees: infinite time decidable

reals</A></LI>

<UL> in Journal of Symbolic Logic, 65, No.3, 2000, pp 1193-1203.

</UL>

<LI>

The Length of Infinite Time Turing Machine Computations</A></LI>

<UL> in Bulletin of the London Mathematical Society, 32, No.

2, March 2000, 129-136.

</UL>

<LI>

On Successors of Jonsson Cardinals</A>

with J. Vickers</LI>

<UL> in Archive for Mathematical Logic ,

39,

No. 6, 2000, 465-473.</UL>

<LI>

Friedman's Trick</A>: Minimality Arguments in the Infinite Time Turing Degrees,<UL> 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.</UL>

<LI>

Determinacy and Δ^1-3 Degrees</A></LI>

<UL>to appear in Fundamenta

Mathematicae. (Currently being rewritten -draft only)</UL>

<LI>

Σ^1-3 Absoluteness and the Second Uniform Indiscernible</A>

with J.R.Steel,<UL> in Israeli Journal of Mathematics ,

104,1998, 157-190.</UL></LI>

<LI>

Determinacy in the Difference Hierarchy of Co-analytic Sets</A></LI>

<UL> in Annals of Pure and Applied Logic , 80,No.1,1996, pp 69-108.</UL>

<LI>

Countable

Unions of Simple Sets in the Core Model</A></LI>

<UL>in Journal of Symbolic Logic, 61, No 1, 1996, pp 293-312.

</UL>