Breadcrumb
Publications by Author
Philip Welch
| The Undecidability of Propositional Adaptive Logic (2007) L. Horsten & P.D.Welch Synthese DOI: 2007 URL provided by the author |
| On the strength of mutual stationarity (2006) P. Koepke & P.D.Welch Set Theory. Centre de recerca Matematica, Barcelona, 2003-2004 Editors: Joan Bagaria and Stevo Todorcevic. Publisher: Birkhauser URL provided by the author |
| Non-deterministic halting times for Hamkins-Kidder Turing machines (2006) P.D. Welch Logical Approaches to Computational Barriers Editors: A. Beckmann, U. Berger, B. Lowe, J. Tucker Page numbers: 571 - 574 Publisher: Springer Address: CiE 2007, Lecture Notes in Computer Science 3988 URL provided by the author |
| Possible Worlds Semantics for Predicates (2005) Halbach, V., H. Leitgeb, and P.D. Welch Intensionality Editors: R. Kahle (ed.) Page numbers: 20 - 41 Publisher: Lecture Notes in Logic, Wellesley, Mass.: A K Peters URL provided by the author |
| Comparing inductive and circular definitions: parameters, complexity and games . (2005) K-U. K\"uhnberger, B. L\"owe, M. M\"ollerfeld, P.D. Welch Studia Logica vol: 81 , Pages: 79 - 98 DOI: 2005 URL provided by the author |
| Some open problems in mutual stationarity involving inner model theory: a commentary (2005) P D Welch Notre Dame J. for Formal Logic vol: 46 , Issue: 3 , Pages: 375 - 379 DOI: 2005 URL provided by the author |
| On the possibility, or otherwise, of hypercomputation (2004) P.D. Welch British J. for Philosophy of Science vol: 55 , Issue: 4 , Pages: 739 - 746 URL provided by the author |
| On Unfoldable cardinals, omega-closed cardinals, and the beginning of the Inner Model Hierarchy (2004) P.D. Welch Archive for Mathematical Logic vol: 43 , Issue: 4 , Pages: 443 - 458 URL provided by the author |
| On Revision Operators (2003) P.D. Welch Journal for Symbolic Logic vol: 68 , Issue: 2 , Pages: 689 - 711 URL provided by the author |