Philip Welch
Professor of Mathematical Logic,
Office: Howard House 2.11.
Tel. +44 117 33 11807
FAX: +44 117 928 7999
Email address: P.Welch@bristol.ac.uk
School of Mathematics, University of Bristol,
Clifton, Bristol, BS8 1TW, UK
For
FSB: Foundational Studies Bristol:
here
For
Set Theoretical Pluralism Symposium, Bristol, June 2025, 2017: click here
For
Bristol Celebratory Birthday Conference March 2223rd 2014: click here
For
the European Set Theory Society click here
For
the British Logic Colloquium click here
Research interests
· Set
theory: fine structure and core models; problems concerning determinancy, large cardinals and strong axioms of
infinity
· Philosophy
of Mathematics, Foundations of Set Theory, Theories of Truth
· Models
of computation.
Research projects
· Interactions
between combinatorics of stationary sets, bounded forcing axioms and inner
models of set theory Funded by EPSRC. Oct.03 
Sep.05
· Mathematics
into Philosophy: analysing complexity theoretic issues in current philosophical
theories of epistemology, semantics and truth Funded
by EPSRC. From October 6'th 2005 to Oct. 2006.
· Philosophical
Theories of Truth, Transfinite Computation, and Infinite Games Funded
by the Templeton Foundation. From Oct. 2008 to Sep. 2010.
· The
Scope and Limits of Arithmetical Knowledge Funded by
the Templeton Foundation. From Mar. 2011 to Sep. 2012.
· Inexpressibility
and Reflection in the Formal Sciences Funded by
AHRC; Coinvestigator on project at Department of Philosophy, University of
Oxford; From Oct. 2011 to Dec. 2013.
· Inner
model theory in outer models Funded by EPSRC. From Mar.2012 to
Oct.2014
· Publications
· Invited
Lecture for the 6'th European Congress of Mathematicians, Krakow, July 2012 A Turing Centenary
lecture
· Birkbeck
Conference Tutorials on Large Cardinals, Inner Models & Determinacy: an
introductory overview, Aug.2011 Tut.I Tut.II Tut.III , paper
Video: Exploring
the Frontiers of Infinity Harvard Feb. 2012.
Video: Proving Theorems from Reflection FOMUS meeting on Foundations of Mathematics  how Reflection principles can justify the strong axioms of infinity that can settle problems in analysis. Bielefeld 2016
Radio: Gödel
and the Incompleteness Theorems BBC Radio 4 ``In our Time'' series.
