Professor Philip D Welch

B.Sc.(Lond.), M.Sc., D.Phil.(Oxon.)

  • BS8 1UG

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

Set Theory, Determinacy and Inner Models, Philosophy of Mathematics, Theories of Truth, Transfinite computational models.

For a full description of my research interests, and a complete publications list, please visit my website

For potential PhD projects please go to:

External positions

Vice-President, European Set Theory Society

1 Jan 2018 → …

President, British Logic Colloquium

1 Jan 2017 → …


Dive into the research topics where Philip D Welch is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Decision times of infinite computations

    Schlicht, P., Welch, P. D. & Carl, M., 12 Nov 2020, (Submitted) In: Notre Dame Journal of Formal Logic.

    Research output: Contribution to journalArticle (Academic Journal)peer-review

  • Games and ramsey-like cardinals

    Nielsen, D. S. & Welch, P., Mar 2019, In: Journal of Symbolic Logic. 84, 1, p. 408-437 30 p.

    Research output: Contribution to journalArticle (Academic Journal)peer-review

    Open Access
    2 Citations (Scopus)
    141 Downloads (Pure)
  • Higher Type Recursion for Transfinite Machine Theory

    Welch, P. D., 19 Jun 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Primiero, G., Martin, B., Paulusma, D. & Manea, F. (eds.). Springer Verlag, Vol. 11558. p. 72-83 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    1 Citation (Scopus)
    24 Downloads (Pure)