default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPhilip D. Welch
Person information
- affiliation: University of Bristol, School of Mathematics
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j53]H. Brickhill, Philip D. Welch
:
Generalisations of stationarity, closed and unboundedness, and of Jensen's □. Ann. Pure Appl. Log. 174(7): 103272 (2023)- [j52]Christopher Henney-Turner, Peter Holy, Philipp Schlicht, Philip D. Welch:
Asymmetric Cut and Choose Games. Bull. Symb. Log. 29(4): 588-625 (2023) - [j51]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): 460-471 (2023) - 2022
- [j50]Philip D. Welch:
Closed and Unbounded Classes and the HäRtig Quantifier Model. J. Symb. Log. 87(2): 564-584 (2022) - 2021
- [j49]Philip D. Welch:
Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum-Shub-Smale machines. Comput. 10(2): 159-180 (2021) - [j48]Philip D. Welch:
Stably Measurable Cardinals. J. Symb. Log. 86(2): 448-470 (2021) - [j47]Juan P. Aguilera, Philip D. Welch:
Gδσ GAMES AND INDUCTION ON REALS. J. Symb. Log. 86(4): 1676-1690 (2021) - 2020
- [j46]Philip D. Welch:
Some observations on Truth Hierarchies: a correction. Rev. Symb. Log. 13(4): 857-860 (2020) - 2019
- [j45]Philip D. Welch:
Rethinking Revision. J. Philos. Log. 48(1): 137-154 (2019) - [j44]Dan Saattrup Nielsen, Philip D. Welch:
Games and Ramsey-like Cardinals. J. Symb. Log. 84(1): 408-437 (2019) - 2018
- [j43]Merlin Carl, Philipp Schlicht, Philip D. Welch:
Recognizable sets and Woodin cardinals: computation beyond the constructible universe. Ann. Pure Appl. Log. 169(4): 312-332 (2018) - [j42]Philip D. Welch:
The Ramified analytical Hierarchy using Extended Logics. Bull. Symb. Log. 24(3): 306-318 (2018) - 2015
- [j41]Philip D. Welch:
The Complexity of the Dependence Operator. J. Philos. Log. 44(3): 337-340 (2015) - [j40]Peter Holy, Philip D. Welch, Liuzhen Wu:
Local Club Condensation and L-Likeness. J. Symb. Log. 80(4): 1361-1378 (2015) - [j39]Salvatore Florio, Øystein Linnebo, Sean Walsh, Philip D. Welch:
Introduction. Notre Dame J. Formal Log. 56(1): 1-2 (2015) - [j38]Philip D. Welch:
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview. Notre Dame J. Formal Log. 56(1): 213-242 (2015) - 2014
- [j37]Philip D. Welch:
Some observations on Truth Hierarchies. Rev. Symb. Log. 7(1): 1-30 (2014) - 2012
- [j36]Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip D. Welch:
Revision Revisited. Rev. Symb. Log. 5(4): 642-664 (2012) - 2011
- [j35]Peter Koepke, Philip D. Welch:
Global square and mutual stationarity at the alephn. Ann. Pure Appl. Log. 162(10): 787-806 (2011) - [j34]I. Sharpe, Philip D. Welch:
Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties. Ann. Pure Appl. Log. 162(11): 863-902 (2011) - [j33]Philip D. Welch:
Weak systems of determinacy and arithmetical quasi-inductive definitions. J. Symb. Log. 76(2): 418-436 (2011) - [j32]Victoria Gitman, Philip D. Welch:
Ramsey-like cardinals II. J. Symb. Log. 76(2): 541-560 (2011) - [j31]Sy-David Friedman, Philip D. Welch:
Hypermachines. J. Symb. Log. 76(2): 620-636 (2011) - [j30]Philip D. Welch:
Determinacy in strong cardinal models. J. Symb. Log. 76(2): 719-728 (2011) - [j29]Philip D. Welch:
Truth, Logical Validity and Determinateness: a Commentary on field's Saving Truth from Paradox. Rev. Symb. Log. 4(3): 348-359 (2011) - 2010
- [j28]Philip D. Welch:
Book Reviews. Stud Logica 96(3): 433-440 (2010) - 2009
- [j27]Philip D. Welch:
Games for truth. Bull. Symb. Log. 15(4): 410-427 (2009) - [j26]Leon Horsten, Philip D. Welch:
The undecidability of propositional adaptive logic. Synth. 169(1): 217-218 (2009) - [j25]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): 426-442 (2009) - 2008
- [j24]Sy-David Friedman, Philip D. Welch, W. Hugh Woodin:
On the consistency strength of the inner model hypothesis. J. Symb. Log. 73(2): 391-400 (2008) - [j23]Philip D. Welch:
Ultimate Truth vis-à-vis stable Truth. Rev. Symb. Log. 1(1): 126-142 (2008) - [j22]Philip D. Welch:
Bounding lemmata for non-deterministic halting times of transfinite Turing machines. Theor. Comput. Sci. 394(3): 223-228 (2008) - 2007
- [j21]Leon Horsten, Philip D. Welch:
The Undecidability of Propositional Adaptive Logic. Synth. 158(1): 41-60 (2007) - 2005
- [j20]Philip D. Welch:
Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary. Notre Dame J. Formal Log. 46(3): 375-379 (2005) - [j19]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): 79-98 (2005) - 2004
- [j18]Philip D. Welch:
On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy. Arch. Math. Log. 43(4): 443-458 (2004) - 2003
- [j17]Volker Halbach, Hannes Leitgeb, Philip D. Welch:
Possible-Worlds Semantics for Modal Notions Conceived as Predicates. J. Philos. Log. 32(2): 179-223 (2003) - [j16]Philip D. Welch:
On revision operators. J. Symb. Log. 68(2): 689-711 (2003) - [j15]Joel David Hamkins, Philip D. Welch:
Pf != NPf for almost all f. Math. Log. Q. 49(5): 536-540 (2003) - 2002
- [j14]David Asperó, Philip D. Welch:
Bounded Martin's Maximum, Weak Erdös Cardinals and psi AC. J. Symb. Log. 67(3): 1141-1152 (2002) - 2001
- [j13]Philip D. Welch:
On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set. Bull. Symb. Log. 7(3): 345-360 (2001) - [j12]John M. Vickers, Philip D. Welch:
On Elementary Embeddings from An Inner Model to The Universe. J. Symb. Log. 66(3): 1090-1116 (2001) - [j11]Benedikt Löwe, Philip D. Welch:
Set-Theoretic Absoluteness and the Revision Theory of Truth. Stud Logica 68(1): 21-41 (2001) - 2000
- [j10]John M. Vickers, Philip D. Welch:
On successors of Jónsson cardinals. Arch. Math. Log. 39(6): 465-473 (2000) - [j9]Philip D. Welch:
Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals. J. Symb. Log. 65(3): 1193-1203 (2000) - 1996
- [j8]Philip D. Welch:
Determinacy in the Difference Hierarchy of Co-Analytic Sets. Ann. Pure Appl. Log. 80(1): 69-108 (1996) - [j7]Philip D. Welch:
Countable Unions of Simple Sets in the Core Model. J. Symb. Log. 61(1): 293-312 (1996) - 1994
- [j6]Philip D. Welch:
Characterising Subsets of omega1 Constructible from a Real. J. Symb. Log. 59(4): 1420-1432 (1994) - 1988
- [j5]Philip D. Welch:
Some descriptive set theory and core models. Ann. Pure Appl. Log. 39(3): 273-290 (1988) - 1987
- [j4]Philip D. Welch:
The Reals in Core Models. J. Symb. Log. 52(1): 64-67 (1987) - [j3]Philip D. Welch:
Minimality in the \triangle13-Degrees. J. Symb. Log. 52(4): 908-915 (1987) - 1986
- [j2]Philip D. Welch:
The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees. J. Symb. Log. 51(1): 130-134 (1986) - 1985
- [j1]Philip D. Welch:
Comparing Incomparable Kleene Degrees. J. Symb. Log. 50(1): 55-58 (1985)
Conference and Workshop Papers
- 2019
- [c8]Philip D. Welch:
Higher Type Recursion for Transfinite Machine Theory. CiE 2019: 72-83 - 2018
- [c7]Merlin Carl, Sabrina Ouazzani, Philip D. Welch:
Taming Koepke's Zoo. CiE 2018: 126-135 - 2011
- [c6]Peter Koepke, Philip D. Welch:
A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0. CiE 2011: 152-159 - 2009
- [c5]Philip D. Welch:
Relativistic Computers and Transfinite Computation. UC 2009: 37-41 - 2007
- [c4]Philip D. Welch:
Turing Unbound: Transfinite Computation. CiE 2007: 768-780 - 2006
- [c3]Philip D. Welch:
Non-deterministic Halting Times for Hamkins-Kidder Turing Machines. CiE 2006: 571-574 - 2005
- [c2]Philip D. Welch:
The Transfinite Action of 1 Tape Turing Machines. CiE 2005: 532-539 - 2001
- [c1]Philip D. Welch:
Post's and other problems of supertasks of higher type. FotFS 2001: 223-237
Parts in Books or Collections
- 2016
- [p2]Philip D. Welch:
Turing Transcendent: Beyond the Event Horizon. The Once and Future Turing 2016: 335-360 - 2014
- [p1]Philip D. Welch:
Transfinite machine models. Turing's Legacy 2014: 493-529
Informal and Other Publications
- 2020
- [i2]Merlin Carl, Philipp Schlicht, Philip D. Welch:
Decision times of infinite computations. CoRR abs/2011.04942 (2020) - 2014
- [i1]Philip D. Welch:
Discrete Transfinite Computation. CoRR abs/1409.5052 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
