Philip Welch

Q: What Schools Are Affiliated With Philip Welch

Philip Welch is affiliated with the following schools: University of Bristol, University of Oxford, University College London, University of California, Los Angeles

Philip Welch's AcademicInfluence.com Rankings

Philip Welch

Mathematics

#5192

World Rank

#7326

Historical Rank

Measure Theory

#3687

World Rank

#4350

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Why Is Philip Welch Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Philip David Welch is a British mathematician known for his contributions to logic and set theory. He is Professor of Pure Mathematics at the School of Mathematics, University of Bristol. He is currently President of the British Logic Colloquium , Vice-President of the European Set Theory Society , and the Coordinating Editor of the Journal of Symbolic Logic .

(See a Problem?)

Philip Welch's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Σ * Fine Structure (2010) (126)
Coding the Universe (1982) (115)
CONSTRUCTIBILITY (Perspectives in Mathematical Logic) (1986) (90)
Eventually infinite time Turing machine degrees: infinite time decidable reals (2000) (54)
ULTIMATE TRUTH VIS-À-VIS STABLE TRUTH (2008) (45)
Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and Normal Form theorems (2009) (43)
Ramsey-like cardinals II (2011) (41)
The Extent of Computation in Malament–Hogarth Spacetimes (2006) (41)
Weak systems of determinacy and arithmetical quasi-inductive definitions (2009) (39)
Gödel's Disjunction: The scope and limits of mathematical knowledge (2016) (39)
Possible-Worlds Semantics for Modal Notions Conceived as Predicates (2003) (38)
Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties (2011) (32)
Reflecting on Absolute Infinity (2016) (30)
Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions (2009) (30)
On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set (2001) (30)
MULTIPLE FORCING (Cambridge Tracts in Mathematics 88) (1989) (29)
SOME OBSERVATIONS ON TRUTH HIERARCHIES (2014) (25)
REVISION REVISITED (2012) (25)
Set-Theoretic Absoluteness and the Revision Theory of Truth (2001) (25)
On revision operators (2003) (25)
On the consistency strength of the inner model hypothesis (2007) (24)
Games for Truth (2009) (22)
Σ31 absoluteness and the second uniform indiscernible (1998) (22)
The Undecidability of Propositional Adaptive Logic (2009) (20)
Comparing Inductive and Circular Definitions: Parameters, Complexity and Games (2005) (19)
Post's and other problems in higher type supertasks (2004) (18)
On elementary embeddings from an inner model to the universe (2001) (16)
Hypermachines (2011) (15)
On the Strength of Mutual Stationarity (2006) (15)
Minimality Arguments for Infinite Time Turing Degrees (1999) (13)
Global reflection principles (2017) (12)
P f �= NP f for almost all f (2008) (11)
Bounded Martin's Maximum, weak Erdӧs cardinals, and ψAc (2002) (11)
Field on revenge (2007) (10)
The Complexity of the Dependence Operator (2015) (10)
Pf ≠ NPf for almost all f (2003) (10)
G Δσ -games (10)
A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0 (2011) (9)
The Transfinite Action of 1 Tape Turing Machines (2005) (9)
Absoluteness and the Second Uniform Indiscernible (1996) (9)
Some descriptive set theory and core models (1988) (8)
Transfinite machine models (2014) (8)
Recognizable sets and Woodin cardinals: computation beyond the constructible universe (2015) (8)
Taming Koepke's Zoo (2018) (8)
TRUTH, LOGICAL VALIDITY AND DETERMINATENESS: A COMMENTARY ON FIELD’S SAVING TRUTH FROM PARADOX (2011) (8)
Discrete Transfinite Computation Models (2011) (7)
Determinacy in the Difference Hierarchy of Co-Analytic Sets (1996) (7)
On unfoldable cardinals, ω-closed cardinals, and the beginning of the inner model hierarchy (2004) (7)
Post's and other problems of supertasks of higher type (2001) (6)
GAMES AND RAMSEY-LIKE CARDINALS (2018) (6)
FORCING A MUTUAL STATIONARITY PROPERTY IN COFINALITY ω1 (2007) (6)
Obtaining Woodin's cardinals (2017) (5)
STABLY MEASURABLE CARDINALS (2019) (5)
Countable unions of simple sets in the core model (1996) (5)
Generalisations of stationarity, closed and unboundedness, and of Jensen's □ (2019) (4)
Characterising subsets of ω1 constructible from a real (1994) (4)
Discrete Transfinite Computation (2014) (4)
Decision times of infinite computations (2020) (3)
Turing Unbound: Transfinite Computation (2007) (3)
Bounding lemmata for non-deterministic halting times of transfinite Turing machines (2008) (3)
CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL (2021) (3)
On possible non-homeomorphic substructures of the real line (2002) (3)
Bounded Martin's Maximum, Weak [image] Cardinals, and [image] (2002) (3)
A Generalised Dynamical System, Infinite Time (2011) (3)
Gδσ-games and generalized computation (2015) (3)
Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities (2016) (3)
LOCAL CLUB CONDENSATION AND L-LIKENESS (2015) (3)
On successors of Jónsson cardinals (2000) (3)
Higher Type Recursion for Transfinite Machine Theory (2019) (3)
Proving Theorems from Reflection (2019) (2)
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview (2015) (2)
Minimality in the \triangle13-Degrees (1987) (2)
Countable ranks at the first and second projective levels (2022) (2)
Possible Worlds Semantics for Predicates (2005) (2)
G_{\delta \sigma}-games and generalized computation (2015) (2)
Determinacy in strong cardinal models (2011) (2)
Conceptual realism : sets and classes (2016) (2)
The undecidability of propositional adaptive logic (2006) (2)
Doing Without Determinacy-Aspects of Inner Models (1987) (2)
Coding that preserves Ramseyness (1988) (2)
Global square and mutual stationarity at the alephn (2007) (2)
Non-deterministic Halting Times for Hamkins-Kidder Turing Machines (2006) (2)
Turing's Mathematical Work (2013) (2)
Minimality in the Δ⅓-degrees (1987) (2)
Closed Unbounded classes and the Haertig Quantifier Model (2019) (2)
Asymmetric cut and choose games (2022) (1)
Pf= NPf almost everywhere (2003) (1)
$G_{\delta \sigma }$ GAMES AND INDUCTION ON REALS (2021) (1)
Global Reflection Principles 1 Reflection Principles in Set Theory (2012) (1)
Some Reflections on Alan Turing's Centenary (2012) (1)
On Unfoldable Cardinals, ω-Closed Cardinals, and the . . . (2007) (1)
Some Open Problems in Mutual Stationarity Involving Inner Model Theory: A Commentary (2005) (1)
On Successors of Jj Onsson Cardinals (1)
SOME OBSERVATIONS ON TRUTH HIERARCHIES: A CORRECTION (2020) (1)
Proceedings of the 1998 Association of Symbolic Logic Meeting (2000) (0)
Determinacy and ∆ (1996) (0)
Introduction (2015) (0)
The Journal of Symbolic Logic on Revision Operators (2007) (0)
REVIEWS-Two papers of B. Lowe and P. Welch (2003) (0)
Introduction: Set Theory and Higher-Order Logic: Fundational Issues and Mathematical Development (2015) (0)
Gödel's Disjunction (2016) (0)
The Modern Corporation Statement on Economics (2016) (0)
Conceptualism : sets and classes (2012) (0)
A History of Logic (2016) (0)
S. Shelah Cardinal arithmetic (Oxford Logic Guides Vol. 29, Clarendon Press, Oxford, 1994), xxxi + 481 pp., 0 19 853785 9, (hardback) £65. (1998) (0)
Philip G. Calabrese/Operating on Functions with Variable Domains 1–18 Stewart Shapiro/Mechanism, Truth, and Penrose's New Argu-ment 19–42 Steven E. Boër/Thought-Contents and the Formal Ontology of (2003) (0)
Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum-Shub-Smale machines (2020) (0)
Coding the Universe: The dénouement (1982) (0)
6 IS MATHEMATICS INVADING HUMAN CELLS? IMPRESSIONS FROM A COLLABORATION WITH DIABETES DOCTORS / Bernhelm (2013) (0)
Turing Transcendent: Beyond the Event Horizon (2016) (0)
Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities (2018) (0)
The natural hierarchy and quasi-hierarchy of constructibility degrees (1986) (0)
The strength of the Inner Model Hypothesis (2007) (0)
Mitchell William J. and Steel John R.. Fine structure and iteration trees . Lecture notes in logic, no. 3. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, v + 130 pp. (1997) (0)
Friedman Sy D.. Strong coding. Annals of pure and applied logic , vol. 35(1987), pp. 1–98. Friedman Sy D.. A guide to “Strong coding.” Annals of pure and applied logic , vol. 35(1987), pp. 99–122. (1990) (0)
Absolute Infinity ∗ (2012) (0)
Coding the Universe: The conditions (1982) (0)
The modal aether (2005) (0)
Syntax without arithmetic or concatenation (0)
A. Kanamori The higher infinite: large cardinals in set theory from their beginnings (Perspectives in Mathematical Logic, Springer-Verlag, Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong, 1994), xxiv + 536 pp., 3 540 57071 3, £77.50. (1998) (0)
Contemporary Mathematics Obtaining Woodin ’ s Cardinals (2017) (0)
The Aftermath (2013) (0)
Coding the Universe: The Cohen-generic sets (1982) (0)
Global Square and Mutual Stationarity at the א (2011) (0)
Coding the Universe: Some further applications (1982) (0)
Coding the Universe: Distributivity (1982) (0)
Coding the Universe: An introduction (1982) (0)
Intensionality, Lecture Notes in Logic (2005) (0)
Mathematical Reviews Featured Review of The Core Model Iterability Problem by J Steel (1999) (0)
When cardinals determine the power set: inner models and H\"artig quantifier logic (2021) (0)
Comparing incomparable kleene degrees (1985) (0)
Characterising Subsets of omega1 Constructible from a Real (1994) (0)
CiE2007, Computation in Europe 2007, Siena (2007) (0)
Coding the Universe: Bibliography (1982) (0)
Erratum: The Undecidability of Propositional Adaptive Logic (2009) (0)
Determinacy and 1 3 -degrees (1996) (0)
Relativistic Computers and Transfinite Computation (2009) (0)
Rethinking Revision (2018) (0)
Some Remarks on the Maximality of Inner Models (2016) (0)
P^f is not equal to NP^f for almost all f (2002) (0)
Coding the Universe: The fine-structural lemmas (1982) (0)
Mathematics by Workshop (1989) (0)
(2018). Recognizable sets and Woodin cardinals: computation beyond the constructible universe. Annals of Pure and Applied Logic , 169 (4), 312-332. (2017) (0)
Review of Cardinal arithmetic. by S Shelah (1998) (0)
Review: Menachem Magidor, Representing Sets of Ordinals as Countable Unions of Sets in the Core Model (1995) (0)
JSL volume 86 issue 2 Cover and Front matter (2021) (0)
The Aftermath (2013) (0)
Sets and Proofs, Proceedings of the Leeds Logic Colloquium, Lond. Math. Soc. Lecture Notes in Mathematics Series (1999) (0)
Determinacy and \Delta^1_3-degrees (1996) (0)
Review: Countable unions of sets in the core model (1995) (0)
The Ramified analytical Hierarchy using Extended Logics (2018) (0)
Book Reviews (2010) (0)
The reals in core models (1987) (0)
Coding the Universe: Applications (1982) (0)

This paper list is powered by the following services:

Other Resources About Philip Welch

en.wikipedia.org

What Schools Are Affiliated With Philip Welch?

Philip Welch is affiliated with the following schools: