Professor Philip Welch
B.Sc.(Lond.), M.Sc., D.Phil.(Oxon.)
Current positions
Professor of Pure Mathematics
School of Mathematics
Contact
Press and media
Many of our academics speak to the media as experts in their field of research. If you are a journalist, please contact the University’s Media and PR Team:
Research interests
Set Theory, Determinacy and Inner Models, Philosophy of Mathematics, Theories of Truth, Transfinite computational models.
For a full description of my research interests, and a complete publications list, please visit my website
http://www.maths.bristol.ac.uk/~mapdw
For potential PhD projects please go to:
Projects and supervisions
Research projects
Graph on Generalised Baire Spaces
Principal Investigator
Managing organisational unit
School of MathematicsDates
01/12/2020 to 31/05/2023
IMIC
Principal Investigator
Managing organisational unit
School of MathematicsDates
01/07/2018 to 14/01/2021
Inner Model Theory in Outer Models
Principal Investigator
Managing organisational unit
School of MathematicsDates
01/03/2012 to 01/09/2014
Reflection and Incompleteness in the Formal Sciences
Principal Investigator
Managing organisational unit
School of MathematicsDates
01/10/2011 to 01/01/2014
AN ANALYSIS OF SPECTOR CLASSES ASSOCIATED WITH QUASI-INDUCTIVE DEFINITIONS
Principal Investigator
Managing organisational unit
School of MathematicsDates
01/10/2008 to 01/10/2009
Thesis supervisions
Natural, Rational, and Real Arithmetic in a Finitary Theory of Finite Sets
Supervisors
Truth and paradox: a (mostly) proof-theoretic investigation
Supervisors
Exact Truthmaking, Hyperintensionality, and Paradoxes
Supervisors
Name principles, and hierarchies of regular cardinals applied to LST numbers and inner model theory
Supervisors
Rigour, Proof and Soundness
Supervisors
Virtual Set Theory
Supervisors
Publications
Recent publications
17/01/2023Asymmetric cut and choose games
Bulletin of Symbolic Logic
Closed and Unbounded Classes and the Härtig Quantifier Model
Archive for Mathematical Logic
Decision times of infinite computations
Notre Dame Journal of Formal Logic
Stably Measurable Cardinals
Journal of Symbolic Logic
Proving Theorems from Reflection
Reflections on the Foundations of Mathematics