Philip Welch
University of Bristol


Philip Welch
Professor of Mathematical Logic,
Office: 2.15.
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




For the Bristol Second Workshop on the Limits and Scope of Mathematical Knowledge Project: click here



For the Oxford Inexpressibility and Reflection in the Formal Sciences Project: 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


  • Publications
  • Lectures
  • 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
  • Teaching


















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





    Visitor Map