Philip D. Welch

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 16

Top Topics

Leader Follower

Top Venues

Bull. Symb. Log.

Ann. Pure Appl. Log.

Publications

Jouko Väänänen, Philip D. Welch
When cardinals determine the power set: inner models and Härtig quantifier logic. Math. Log. Q. 69 (4) (2023)
Christopher Henney-Turner, Peter Holy, Philipp Schlicht, Philip D. Welch
Asymmetric Cut and Choose Games. Bull. Symb. Log. 29 (4) (2023)
H. Brickhill, Philip D. Welch
Generalisations of stationarity, closed and unboundedness, and of Jensen's □. Ann. Pure Appl. Log. 174 (7) (2023)
Philip D. Welch
Closed and Unbounded Classes and the HäRtig Quantifier Model. J. Symb. Log. 87 (2) (2022)
Philip D. Welch
Stably Measurable Cardinals. J. Symb. Log. 86 (2) (2021)
Philip D. Welch
Some observations on Truth Hierarchies: a correction. Rev. Symb. Log. 13 (4) (2020)
Merlin Carl, Philipp Schlicht, Philip D. Welch
Decision times of infinite computations. CoRR (2020)
Dan Saattrup Nielsen, Philip D. Welch
Games and Ramsey-like Cardinals. J. Symb. Log. 84 (1) (2019)
Philip D. Welch
Rethinking Revision. J. Philos. Log. 48 (1) (2019)
Merlin Carl, Philipp Schlicht, Philip D. Welch
Recognizable sets and Woodin cardinals: computation beyond the constructible universe. Ann. Pure Appl. Log. 169 (4) (2018)
Merlin Carl, Sabrina Ouazzani, Philip D. Welch
Taming Koepke's Zoo. CiE (2018)
Philip D. Welch
The Ramified analytical Hierarchy using Extended Logics. Bull. Symb. Log. 24 (3) (2018)
Peter Holy, Philip D. Welch, Liuzhen Wu
Local Club Condensation and L-Likeness. J. Symb. Log. 80 (4) (2015)
Salvatore Florio, Øystein Linnebo, Sean Walsh, Philip D. Welch
Introduction. Notre Dame J. Formal Log. 56 (1) (2015)
Philip D. Welch
The Complexity of the Dependence Operator. J. Philos. Log. 44 (3) (2015)
Philip D. Welch
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview. Notre Dame J. Formal Log. 56 (1) (2015)
Philip D. Welch
Some observations on Truth Hierarchies. Rev. Symb. Log. 7 (1) (2014)
Philip D. Welch
Discrete Transfinite Computation. CoRR (2014)
Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip D. Welch
Revision Revisited. Rev. Symb. Log. 5 (4) (2012)
Victoria Gitman, Philip D. Welch
Ramsey-like cardinals II. J. Symb. Log. 76 (2) (2011)
Philip D. Welch
Truth, Logical Validity and Determinateness: a Commentary on field's Saving Truth from Paradox. Rev. Symb. Log. 4 (3) (2011)
Philip D. Welch
Determinacy in strong cardinal models. J. Symb. Log. 76 (2) (2011)
Peter Koepke, Philip D. Welch
A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0. CiE (2011)
Sy-David Friedman, Philip D. Welch
Hypermachines. J. Symb. Log. 76 (2) (2011)
I. Sharpe, Philip D. Welch
Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties. Ann. Pure Appl. Log. 162 (11) (2011)
Philip D. Welch
Weak systems of determinacy and arithmetical quasi-inductive definitions. J. Symb. Log. 76 (2) (2011)
Peter Koepke, Philip D. Welch
. Ann. Pure Appl. Log. 162 (10) (2011)
Philip D. Welch
Book Reviews. Stud Logica 96 (3) (2010)
Philip D. Welch
Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems. Theor. Comput. Sci. 410 (4-5) (2009)
Philip D. Welch
Games for truth. Bull. Symb. Log. 15 (4) (2009)
Leon Horsten, Philip D. Welch
The undecidability of propositional adaptive logic. Synth. 169 (1) (2009)
Philip D. Welch
Relativistic Computers and Transfinite Computation. UC (2009)
Sy-David Friedman, Philip D. Welch, W. Hugh Woodin
On the consistency strength of the inner model hypothesis. J. Symb. Log. 73 (2) (2008)
Philip D. Welch
Ultimate Truth vis-à-vis stable Truth. Rev. Symb. Log. 1 (1) (2008)
Philip D. Welch
Bounding lemmata for non-deterministic halting times of transfinite Turing machines. Theor. Comput. Sci. 394 (3) (2008)
Leon Horsten, Philip D. Welch
The Undecidability of Propositional Adaptive Logic. Synth. 158 (1) (2007)
Philip D. Welch
Turing Unbound: Transfinite Computation. CiE (2007)
Philip D. Welch
Non-deterministic Halting Times for Hamkins-Kidder Turing Machines. CiE (2006)
Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Stud Logica 81 (1) (2005)
Philip D. Welch
The Transfinite Action of 1 Tape Turing Machines. CiE (2005)
Philip D. Welch
Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary. Notre Dame J. Formal Log. 46 (3) (2005)
Philip D. Welch
On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy. Arch. Math. Log. 43 (4) (2004)
Joel David Hamkins, Philip D. Welch
for almost all f. Math. Log. Q. 49 (5) (2003)
Philip D. Welch
On revision operators. J. Symb. Log. 68 (2) (2003)
Volker Halbach, Hannes Leitgeb, Philip D. Welch
Possible-Worlds Semantics for Modal Notions Conceived as Predicates. J. Philos. Log. 32 (2) (2003)
David Asperó, Philip D. Welch
. J. Symb. Log. 67 (3) (2002)
Benedikt Löwe, Philip D. Welch
Set-Theoretic Absoluteness and the Revision Theory of Truth. Stud Logica 68 (1) (2001)
Philip D. Welch
Post's and other problems of supertasks of higher type. FotFS (2001)
John M. Vickers, Philip D. Welch
On Elementary Embeddings from An Inner Model to The Universe. J. Symb. Log. 66 (3) (2001)
Philip D. Welch
On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set. Bull. Symb. Log. 7 (3) (2001)
Philip D. Welch
Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals. J. Symb. Log. 65 (3) (2000)
John M. Vickers, Philip D. Welch
On successors of Jónsson cardinals. Arch. Math. Log. 39 (6) (2000)
Philip D. Welch
Countable Unions of Simple Sets in the Core Model. J. Symb. Log. 61 (1) (1996)
Philip D. Welch
Determinacy in the Difference Hierarchy of Co-Analytic Sets. Ann. Pure Appl. Log. 80 (1) (1996)
Philip D. Welch
Constructible from a Real. J. Symb. Log. 59 (4) (1994)
Philip D. Welch
Some descriptive set theory and core models. Ann. Pure Appl. Log. 39 (3) (1988)
Philip D. Welch
-Degrees. J. Symb. Log. 52 (4) (1987)
Philip D. Welch
The Reals in Core Models. J. Symb. Log. 52 (1) (1987)
Philip D. Welch
The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees. J. Symb. Log. 51 (1) (1986)
Philip D. Welch
Comparing Incomparable Kleene Degrees. J. Symb. Log. 50 (1) (1985)