Professor of Mathematical Logic,
Office: Howard House 2.11.
Tel. +44 117 33 11807
FAX: +44 117 928 7999
E-mail address: P.Welch@bristol.ac.uk
School of Mathematics, University of Bristol,
Clifton, Bristol, BS8 1TW, UK
VIEG-2018 Bristol: click here
FSB: Foundational Studies Bristol:
Set Theoretical Pluralism Symposium, Bristol, June 20-25, 2017: click here
Bristol Celebratory Birthday Conference March 22-23rd 2014: click here
the European Set Theory Society click here
the British Logic Colloquium click here
theory: fine structure and core models; problems concerning determinancy, large cardinals and strong axioms of
of Mathematics, Foundations of Set Theory, Theories of Truth
between combinatorics of stationary sets, bounded forcing axioms and inner
models of set theory Funded by EPSRC. Oct.03 -
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.
Theories of Truth, Transfinite Computation, and Infinite Games Funded
by the Templeton Foundation. From Oct. 2008 to Sep. 2010.
Scope and Limits of Arithmetical Knowledge Funded by
the Templeton Foundation. From Mar. 2011 to Sep. 2012.
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.
model theory in outer models Funded by EPSRC. From Mar.2012 to
Lecture for the 6'th European Congress of Mathematicians, Krakow, July 2012 A Turing Centenary
Conference Tutorials on Large Cardinals, Inner Models & Determinacy: an
introductory overview, Aug.2011 Tut.I Tut.II Tut.III , paper
Video: Higher Types of Recursion and Low Levels of Determinacy Logical Perspectives 2018, Euler Institute, St Petersburg, May 15th, 2018.
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
and the Incompleteness Theorems BBC Radio 4 ``In our Time'' series.