Comparing Incomparable Kleene Degrees. - Philip D. Welch (J. Symb. Log., 1985)

The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees. - Philip D. Welch (J. Symb. Log., 1986)

The Reals in Core Models. - Philip D. Welch (J. Symb. Log., 1987)

Minimality in the triangle13-Degrees. - Philip D. Welch (J. Symb. Log., 1987)

Some descriptive set theory and core models. - Philip D. Welch (Ann. Pure Appl. Log., 1988)

Characterising Subsets of omega1 Constructible from a Real. - Philip D. Welch (J. Symb. Log., 1994)

Determinacy in the Difference Hierarchy of Co-Analytic Sets. - Philip D. Welch (Ann. Pure Appl. Log., 1996)

Countable Unions of Simple Sets in the Core Model. - Philip D. Welch (J. Symb. Log., 1996)

On successors of Jónsson cardinals. - John M. Vickers; Philip D. Welch (Arch. Math. Log., 2000)

Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals. - Philip D. Welch (J. Symb. Log., 2000)

Post's and other problems of supertasks of higher type. - Philip D. Welch (FotFS, 2001)

On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set. - Philip D. Welch (Bull. Symb. Log., 2001)

On Elementary Embeddings from An Inner Model to The Universe. - John M. Vickers; Philip D. Welch (J. Symb. Log., 2001)

Set-Theoretic Absoluteness and the Revision Theory of Truth. - Benedikt Löwe; Philip D. Welch (Stud Logica, 2001)

Bounded Martin's Maximum, Weak Erdös Cardinals and psi AC. - David Asperó; Philip D. Welch (J. Symb. Log., 2002)

Possible-Worlds Semantics for Modal Notions Conceived as Predicates. - Volker Halbach; Hannes Leitgeb; Philip D. Welch (J. Philos. Log., 2003)

On revision operators. - Philip D. Welch (J. Symb. Log., 2003)

Pf != NPf for almost all f. - Joel David Hamkins; Philip D. Welch (Math. Log. Q., 2003)

On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy. - Philip D. Welch (Arch. Math. Log., 2004)

The Transfinite Action of 1 Tape Turing Machines. - Philip D. Welch (CiE, 2005)

Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary. - Philip D. Welch (Notre Dame J. Formal Log., 2005)

Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. - Kai-Uwe Kühnberger; Benedikt Löwe; Michael Möllerfeld; Philip D. Welch (Stud Logica, 2005)

Non-deterministic Halting Times for Hamkins-Kidder Turing Machines. - Philip D. Welch (CiE, 2006)

Turing Unbound: Transfinite Computation. - Philip D. Welch (CiE, 2007)

The Undecidability of Propositional Adaptive Logic. - Leon Horsten; Philip D. Welch (Synth., 2007)

On the consistency strength of the inner model hypothesis. - Sy-David Friedman; Philip D. Welch; W. Hugh Woodin (J. Symb. Log., 2008)

Ultimate Truth vis-à-vis stable Truth. - Philip D. Welch (Rev. Symb. Log., 2008)

Bounding lemmata for non-deterministic halting times of transfinite Turing machines. - Philip D. Welch (Theor. Comput. Sci., 2008)

Relativistic Computers and Transfinite Computation. - Philip D. Welch (UC, 2009)

Games for truth. - Philip D. Welch (Bull. Symb. Log., 2009)

Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems. - Philip D. Welch (Theor. Comput. Sci., 2009)

Book Reviews. - Philip D. Welch (Stud Logica, 2010)

A Generalised Dynamical System, Infinite Time Register Machines, and $ Pi^1_1$ -CA0. - Peter Koepke; Philip D. Welch (CiE, 2011)

Global square and mutual stationarity at the alephn. - Peter Koepke; Philip D. Welch (Ann. Pure Appl. Log., 2011)

Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties. - I. Sharpe; Philip D. Welch (Ann. Pure Appl. Log., 2011)

Hypermachines. - Sy-David Friedman; Philip D. Welch (J. Symb. Log., 2011)

Ramsey-like cardinals II. - Victoria Gitman; Philip D. Welch (J. Symb. Log., 2011)

Weak systems of determinacy and arithmetical quasi-inductive definitions. - Philip D. Welch (J. Symb. Log., 2011)

Determinacy in strong cardinal models. - Philip D. Welch (J. Symb. Log., 2011)

Truth, Logical Validity and Determinateness: a Commentary on field's Saving Truth from Paradox. - Philip D. Welch (Rev. Symb. Log., 2011)

Revision Revisited. - Leon Horsten; Graham E. Leigh; Hannes Leitgeb; Philip D. Welch (Rev. Symb. Log., 2012)

Transfinite machine models. - Philip D. Welch (Turing's Legacy, 2014)

Discrete Transfinite Computation. - Philip D. Welch (CoRR, 2014)

Some observations on Truth Hierarchies. - Philip D. Welch (Rev. Symb. Log., 2014)

The Complexity of the Dependence Operator. - Philip D. Welch (J. Philos. Log., 2015)

Local Club Condensation and L-Likeness. - Peter Holy; Philip D. Welch; Liuzhen Wu (J. Symb. Log., 2015)

Introduction. - Salvatore Florio; Øystein Linnebo; Sean Walsh 001; Philip D. Welch (Notre Dame J. Formal Log., 2015)

Large Cardinals, Inner Models, and Determinacy: An Introductory Overview. - Philip D. Welch (Notre Dame J. Formal Log., 2015)

Turing Transcendent: Beyond the Event Horizon. - Philip D. Welch (The Once and Future Turing, 2016)

Taming Koepke's Zoo. - Merlin Carl; Sabrina Ouazzani; Philip D. Welch (CiE, 2018)

Recognizable sets and Woodin cardinals: computation beyond the constructible universe. - Merlin Carl; Philipp Schlicht; Philip D. Welch (Ann. Pure Appl. Log., 2018)

The Ramified analytical Hierarchy using Extended Logics. - Philip D. Welch (Bull. Symb. Log., 2018)

Higher Type Recursion for Transfinite Machine Theory. - Philip D. Welch (CiE, 2019)

Rethinking Revision. - Philip D. Welch (J. Philos. Log., 2019)

Games and Ramsey-like Cardinals. - Dan Saattrup Nielsen; Philip D. Welch (J. Symb. Log., 2019)

Decision times of infinite computations. - Merlin Carl; Philipp Schlicht; Philip D. Welch (CoRR, 2020)

Some observations on Truth Hierarchies: a correction. - Philip D. Welch (Rev. Symb. Log., 2020)

Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum-Shub-Smale machines. - Philip D. Welch (Comput., 2021)

Gδσ GAMES AND INDUCTION ON REALS. - Juan P. Aguilera 001; Philip D. Welch (J. Symb. Log., 2021)

Stably Measurable Cardinals. - Philip D. Welch (J. Symb. Log., 2021)

Closed and Unbounded Classes and the HäRtig Quantifier Model. - Philip D. Welch (J. Symb. Log., 2022)

Generalisations of stationarity, closed and unboundedness, and of Jensen's □. - H. Brickhill; Philip D. Welch (Ann. Pure Appl. Log., 2023)

When cardinals determine the power set: inner models and Härtig quantifier logic. - Jouko Väänänen; Philip D. Welch (Math. Log. Q., 2023)

Asymmetric Cut and Choose Games. - Christopher Henney-Turner; Peter Holy; Philipp Schlicht; Philip D. Welch (Bull. Symb. Log., 2023)

Free subsets in internally approachable models. - Philip D. Welch (Arch. Math. Log., 2025)