University of Bristol


Philip Welch
Professor of Mathematical Logic,
Office: Howard House 2.11.
Tel. +44 117 33 11807
FAX: +44 117 928 7999
E-mail address:
School of Mathematics, University of Bristol,
Clifton, Bristol, BS8 1TW, UK

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

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
·  Logical Methods in Epistemology, Semantics, & Philosophy of Mathematics. Funded by the British Academy.
·  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


·  Lectures

·  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: Exploring the Frontiers of Infinity Harvard Feb. 2012.

Radio: Gödel and the Incompleteness Theorems BBC Radio 4 ``In our Time'' series.

·  Teaching


According to WebCounter you are the to this page since 6.7.06.*xJmx*PTEyODg5NjAyOTc4OTcmcHQ9MTI4ODk2MDMwNzAzMSZwPTMyMzAwMiZkPW1hcGxvY28mZz*xJm89MGQyNGRhYWU4ZWU5/NGQ3MmI2YTg5YTQ5NDA5NTdhYTA=.gif
Visitor Map