Skip to content

Professor Philip D WelchB.Sc.(Lond.), M.Sc., D.Phil.(Oxon.)

Professor of Pure Mathematics

1 - 10 out of 61Page size: 10
  1. 2019
  2. Published

    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

  3. Published

    Games and ramsey-like cardinals

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

    Research output: Contribution to journalArticle

  4. 2018
  5. Published

    Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities

    Adolf, D., Cox, S. & Welch, P. D., Oct 2018, In : Israel Journal of Mathematics. 228, 1, p. 1-19 19 p.

    Research output: Contribution to journalArticle

  6. E-pub ahead of print

    Rethinking Revision

    Welch, P. D., 15 Sep 2018, In : Journal of Philosophical Logic. p. 1-18 18 p.

    Research output: Contribution to journalArticle

  7. Published

    The Ramified Analytical Hierarchy Using Extended Logics

    Welch, P. D., Sep 2018, In : Bulletin of Symbolic Logic. 24, 3, p. 306-318 13 p.

    Research output: Contribution to journalArticle

  8. Accepted/In press

    Proving Theorems from Reflection

    Welch, P. D., 23 Jul 2018, (Accepted/In press) Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Centron, S., Sarikaya, D. & Kant, D. (eds.). Springer, Cham, (Synthese Library in Philosophy).

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

  9. Published

    Recognizable sets and Woodin cardinals: computation beyond the constructible universe

    Carl, M., Schlicht, P. & Welch, P. D., Apr 2018, In : Annals of Pure and Applied Logic. 169, 4, p. 312-332 21 p.

    Research output: Contribution to journalArticle

  10. 2017
  11. Published

    Gödel

    Welch, P. D., 29 Jun 2017, The History of Philosophical and Formal Logic: From Aristotle to Tarski. Antonutti-Marfori, M. & Malpass, A. (eds.). Bloomsbury

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

  12. Published

    Obtaining Woodin's cardinals

    Welch, P. D., 30 May 2017, Foundations of Mathematics: Logic at Harvard: Essays in Honor of W. Hugh Woodin's 60th Birthday, March 27-29 2015, Harvard University, Cambridge, MA. Caicedo, A. E., Cummings, J., Koellner, P. & Larson, P. B. (eds.). American Mathematical Society, p. 161-176 16 p. (Contemporary Mathematics; vol. 690).

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

  13. Published

    Global reflection principles

    Welch, P., 12 May 2017, Logic, methodology and philosophy of science: proceedings of the fifteenth international congress. College Publications, 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 Next