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
Senior Research Fellowship, Zukunftskolleg, Konstanz. Second order aspects of Multiversism
Principal Investigator
Description
An interdisciplinary research project between mathematics and Philosophy.Managing organisational unit
Dates
01/04/2023 to 15/07/2025
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
Thesis supervisions
Generalising the Notions of Closed Unbounded and Stationary Set
Supervisors
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
01/01/2025Monotone versus non‐monotone projective operators
Bulletin of the London Mathematical Society
Free subsets in internally approachable models
Archive for Mathematical Logic
Asymmetric cut and choose games
Bulletin of Symbolic Logic
Generalisations of stationarity, closed and unboundedness, and Jensen's Square
Annals of Pure and Applied Logic
When cardinals determine the power set
Mathematical Logic Quarterly
Thesis
Generalising the Notions of Closed Unbounded and Stationary Set
Supervisors
Award date
17/09/2022