Professor Philip D Welch

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

  • BS8 1UG

1994 …2020

Research output per year

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

http://www.maths.bristol.ac.uk/~mapdw

For potential PhD projects please go to:

http://www.maths.bris.ac.uk/~mapdw/PhD/

External positions

Vice-President, European Set Theory Society

1 Jan 2018 → …

President, British Logic Colloquium

1 Jan 2017 → …

Fingerprint

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.
  • 1 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • Stably Measurable Cardinals

    Welch, P. D., 15 Jun 2020, In : Journal of Symbolic Logic.

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

    1 Downloads (Pure)
  • 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
    File
    1 Citation (Scopus)
    153 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
    File
    31 Downloads (Pure)
If you made any changes in Pure these will be visible here soon.