University of Bristol

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


The Fifth Hausdorff Medal winners, David Asperó and Ralf Schindler, Torino 2022; See

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

For the European Set Theory Society click here

For the British Logic Colloquium click here

For VIEG-2018 Bristol: click here

For FSB: Foundational Studies Bristol:  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.

Research projects
· Logical Methods in Epistemology, Semantics, & Philosophy of Mathematics. Funded by the British Academy, Mar.05 - Sep. 09.

· 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; Co-investigator 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.

· Graphs on generalized Baire Spaces, funded by EPSRC. From Sep.2021 to Feb.2024.



· In celebration of Ada Lovelace Day, Bristol, Oct. 2014 Ada Lovelace and the logic of the analytical engine

· Chiemsee Conference Tutorials on Semantical Theories of Truth, July 2014 Semantical Approaches to Truth I & II

· Fourth European Set Theory Meeting, Barcelona, September 2013  A condensed history of condensation

· Foundations of Mathematics Conference, Cambridge, July 2012 Conceptualism: sets and absolute infinities

· Invited Lecture for the 6'th European Congress of Mathematicians, Krakow, July 2012 A Turing Centenary lecture

· EFI, Harvard Feb.2012 Global Reflection Principles

· Birkbeck Conference Tutorials on Large Cardinals, Inner Models & Determinacy: an introductory overview, Aug.2011 Tut.I Tut.II Tut.III , paper

· For the "Author meets his Critics'' panel discussion at the A.P.A., New York, Dec.2009, On Field's ``Saving Truth from Paradox'' (slides), paper

Video: Higher Types of Recursion and Low Levels of Determinacy Logical Perspectives 2018, Euler Institute, St Petersburg, May 15th, 2018.

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.


According to WebCounter you are the to this page since 6.7.06.

[an error occurred while processing this directive]*xJmx*PTEyODg5NjAyOTc4OTcmcHQ9MTI4ODk2MDMwNzAzMSZwPTMyMzAwMiZkPW1hcGxvY28mZz*xJm89MGQyNGRhYWU4ZWU5/NGQ3MmI2YTg5YTQ5NDA5NTdhYTA=.gif
Visitor Map

Locations of Site Visitors