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 British Logic Colloquium click here
· Set theory: fine structure and core models; problems concerning determinancy, large cardinals and strong axioms of
of Mathematics, Foundations of Set Theory, Theories of Truth.
Methods in Epistemology, Semantics, & Philosophy of Mathematics.
by the British Academy.
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
by the Templeton Foundation. From Oct. 2008 to Sep. 2010.
Scope and Limits of Arithmetical Knowledge
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
European Set Theory Meeting, Barcelona, September 2013 A condensed history
of Mathematics Conference, Cambridge, July 2012 Conceptualism:
sets and absolute infinities
Lecture for the 6'th European Congress of Mathematicians, Krakow, July 2012 A Turing Centenary
Harvard Feb.2012 Global
Conference Tutorials on Large Cardinals, Inner Models & Determinacy: an
introductory overview, Aug.2011 Tut.I Tut.II Tut.III , paper