- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j28 |      | Peter Koepke, Philip D. Welch: Global square and mutual stationarity at the alephn. Ann. Pure Appl. Logic 162(10): 787-806 (2011) |
| j27 | | Philip D. Welch: Weak systems of determinacy and arithmetical quasi-inductive definitions. J. Symb. Log. 76(2): 418-436 (2011) |
| j26 | | |
| j25 | | |
| j24 | | |
| c5 | | Peter Koepke, Philip D. Welch: A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0. CiE 2011: 152-159 |
| 2010 | ||
| j23 | | |
| 2009 | ||
| j22 | | |
| j21 | | 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) |
| c4 | | |
| 2008 | ||
| j20 | | 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) |
| j19 | | Philip D. Welch: Bounding lemmata for non-deterministic halting times of transfinite Turing machines. Theor. Comput. Sci. 394(3): 223-228 (2008) |
| 2007 | ||
| c3 | | |
| 2006 | ||
| c2 | | Philip D. Welch: Non-deterministic Halting Times for Hamkins-Kidder Turing Machines. CiE 2006: 571-574 |
| 2005 | ||
| j18 | | Philip D. Welch: Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary. Notre Dame Journal of Formal Logic 46(3): 375-379 (2005) |
| j17 | | Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch: Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Studia Logica 81(1): 79-98 (2005) |
| c1 | | |
| 2004 | ||
| j16 | | 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 | ||
| j15 |  | |
| j14 | | Joel David Hamkins, Philip D. Welch: Pf != NPf for almost all f. Math. Log. Q. 49(5): 536-540 (2003) |
| 2002 | ||
| j13 | | 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 | ||
| j12 | | Philip D. Welch: On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set. Bulletin of Symbolic Logic 7(3): 345-360 (2001) |
| j11 | | J. Vickers, Philip D. Welch: On Elementary Embeddings from An Inner Model to The Universe. J. Symb. Log. 66(3): 1090-1116 (2001) |
| j10 | | Benedikt Löwe, Philip D. Welch: Set-Theoretic Absoluteness and the Revision Theory of Truth. Studia Logica 68(1): 21-41 (2001) |
| 2000 | ||
| j9 | | J. Vickers, Philip D. Welch: On successors of Jónsson cardinals. Arch. Math. Log. 39(6): 465-473 (2000) |
| j8 | | Philip D. Welch: Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals. J. Symb. Log. 65(3): 1193-1203 (2000) |
| 1996 | ||
| j7 | | Philip D. Welch: Determinacy in the Difference Hierarchy of Co-Analytic Sets. Ann. Pure Appl. Logic 80(1): 69-108 (1996) |
| j6 | | Philip D. Welch: Countable Unions of Simple Sets in the Core Model. J. Symb. Log. 61(1): 293-312 (1996) |
| 1994 | ||
| j5 | | Philip D. Welch: Characterising Subsets of omega1 Constructible from a Real. J. Symb. Log. 59(4): 1420-1432 (1994) |
| 1987 | ||
| j4 | | |
| j3 | | |
| 1986 | ||
| j2 | | Philip D. Welch: The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees. J. Symb. Log. 51(1): 130-134 (1986) |
| 1985 | ||
| j1 | | |
| 1 | David Asperó | |
| 2 | Sy-David Friedman (Sy D. Friedman) | |
| 3 | Victoria Gitman | |
| 4 | Joel David Hamkins | |
| 5 | Peter Koepke | |
| 6 | Kai-Uwe Kühnberger | |
| 7 | Benedikt Löwe | |
| 8 | Michael Möllerfeld | |
| 9 | J. Vickers | |
| 10 | W. Hugh Woodin |
Colors in the list of coauthors
Last update Sun May 26 06:25:56 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page