Professor Philip D Welch

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

  • BS8 1UG

19942019

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.

Projects

Research Output

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)

Open Access
File
  • 112 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)

  • 1 Downloads (Pure)

    Proving Theorems from Reflection

    Welch, P. D., 12 Nov 2019, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Centron, S., Sarikaya, D. & Kant, D. (eds.). Springer, Cham, p. 79-97 19 p. (Synthese Library in Philosophy; vol. 407).

    Research output: Chapter in Book/Report/Conference proceedingChapter in a book

  • Activities

    • 4 Visiting an external academic institution
    • 2 Participation in workshop, seminar, course
    • 2 Editorial activity

    Journal of Symbolic Logic (Journal)

    Philip D Welch (Editor)

    1 Jan 2015

    Activity: Publication peer-review and editorial work typesEditorial activity

    BGER Bristol Princeton Postgraduate Conference in Logic and Philosophy of Mathematics

    Philip D Welch (Participant)

    22 Feb 201323 Feb 2013

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

    BGER Princeton University Philosophy Department Workshop "Language, Truth and Logic"

    Philip D Welch (Speaker)

    23 Mar 201324 Mar 2013

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

    Thesis

    Natural, Rational, and Real Arithmetic in a Finitary Theory of Finite Sets

    Author: Pettigrew, R. G., 2008

    Supervisor: Welch, P. (Supervisor)

    Student thesis: Doctoral ThesisDoctor of Philosophy (PhD)