Coding the universe A Beller, R Jensen, RB Jensen, P Welch Cambridge University Press, 1982 | 140 | 1982 |
Possible-worlds semantics for modal notions conceived as predicates V Halbach, H Leitgeb, P Welch Journal of Philosophical Logic 32, 179-223, 2003 | 76 | 2003 |
Eventually infinite time Turing machine degrees: Infinite time decidable reals PD Welch The Journal of Symbolic Logic 65 (3), 1193-1203, 2000 | 62 | 2000 |
The length of infinite time Turing machine computations PD Welch Bulletin of the London Mathematical Society 32 (2), 129-136, 2000 | 61 | 2000 |
Weak systems of determinacy and arithmetical quasi-inductive definitions PD Welch The Journal of Symbolic Logic 76 (2), 418-436, 2011 | 54 | 2011 |
Necessities and necessary truths: A prolegomenon to the use of modal logic in the analysis of intensional notions V Halbach, P Welch Mind 118 (469), 71-100, 2009 | 51 | 2009 |
The extent of computation in Malament–Hogarth spacetimes PD Welch The British Journal for the Philosophy of Science, 2008 | 48 | 2008 |
Characteristics of discrete transfinite time Turing machine models: halting times, stabilization times, and normal form theorems PD Welch Theoretical Computer Science 410 (4-5), 426-442, 2009 | 45 | 2009 |
Gödel's Disjunction: The scope and limits of mathematical knowledge L Horsten, P Welch Oxford University Press, 2016 | 43 | 2016 |
ULTIMATE TRUTH VIS-À-VIS STABLE TRUTH PD Welch The Review of Symbolic Logic 1 (1), 126-142, 2008 | 41 | 2008 |
Ramsey-like cardinals II V Gitman, PD Welch The Journal of Symbolic Logic 76 (2), 541-560, 2011 | 39 | 2011 |
Reflecting on absolute infinity P Welch, L Horsten The Journal of Philosophy 113 (2), 89-111, 2016 | 37 | 2016 |
Σ 3 1 absoluteness and the second uniform indiscernible JR Steel, PD Welch Israel Journal of Mathematics 104, 157-190, 1998 | 32 | 1998 |
Global reflection principles P Welch Logic, methodology and philosophy of science: proceedings of the fifteenth …, 2017 | 31 | 2017 |
On Gupta-Belnap revision theories of truth, Kripkean fixed points, and the next stable set PD Welch Bulletin of Symbolic Logic 7 (3), 345-360, 2001 | 31 | 2001 |
The undecidability of propositional adaptive logic L Horsten, P Welch Synthese 158 (1), 41-60, 2007 | 30 | 2007 |
Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties I Sharpe, PD Welch Annals of Pure and Applied Logic 162 (11), 863-902, 2011 | 26 | 2011 |
On elementary embeddings from an inner model to the universe J Vickers, PD Welch The Journal of Symbolic Logic 66 (3), 1090-1116, 2001 | 26 | 2001 |
On the consistency strength of the inner model hypothesis SD Friedman, P Welch, WH Woodin The Journal of Symbolic Logic 73 (2), 391-400, 2008 | 24 | 2008 |
On revision operators PD Welch The Journal of Symbolic Logic 68 (2), 689-711, 2003 | 22 | 2003 |