Philip Welch
Professor of Mathematical Logic,
Office: Fry 2.26
Tel. +44 117 33 11807
E-mail address: P.Welch@bristol.ac.uk
School of Mathematics, Fry Building, University of Bristol,
Clifton, Bristol, BS8 1UG, UK

For
the British Logic Colloquium 2023 in Bristol, Sep. 7th - 9'th, click here

For
Set Theoretical Pluralism Symposium, Bristol, June 20-25, 2017: click here

For
Bristol Celebratory Birthday Conference March 22-23rd 2014: 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.

·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.

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