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.
Filter
Chapter in a book

Search results

  • 2019

    Proving Theorems from Reflection

    Welch, P. D., 12 Nov 2019, (E-pub ahead of print) 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

    Open Access
    File
    19 Downloads (Pure)
  • 2017

    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

    Open Access
    File
    48 Downloads (Pure)
  • 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

    Open Access
    File
    2 Citations (Scopus)
    287 Downloads (Pure)
  • 2016

    Discrete transfinite computation

    Welch, P., 22 Jan 2016, Turing's Revolution: The Impact of His Ideas about Computability. Sommaruga, G. & Strahm, T. (eds.). Basel: Birkhäuser Basel, p. 161-185 25 p.

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

    Open Access
    File
    264 Downloads (Pure)
  • Introduction

    Horsten, L. & Welch, P., 11 Aug 2016, Gödel's Disjunction: The scope and limits of mathematical knowledge. Horsten, L. & Welch, P. (eds.). Oxford University Press, p. 1-15 15 p.

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

  • 2006

    On the strength of mutual stationarity

    Koepke, P. & Welch, PD., 2006, Set Theory. Bagaria, J. & Todorcevic, S. (eds.). Birkhäuser Basel, p. 309 - 320 12 p.

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

  • 2005

    Possible worlds semantics for predicates

    Leitgeb, H., Welch, PD. & Halbach, V., 2005, Intensionality, Lecture Notes in Logic. Kahle, R. (ed.). Association for Symbolic Logic, p. 20 - 41 22 p.

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

  • 1999

    Friedman's Trick: Minimality Arguments in the Infinite Time Turing Degrees

    Welch, PD., 1999, Sets and Proofs, Proceedings of the Leeds Logic Colloquium, Lond. Math. Soc. Lecture Notes in Mathematics Series. S. B. C. & J. K. T. (eds.). Cambridge University Press, Vol. 259. p. 425 - 436

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