Higher type recursion for infinite time Turing machines I
Logic and Set Theory Seminar
29th April 2020, 2:00 pm – 3:30 pm
online talk, zoom
This is part of a series informal working seminars on an extension of Kleene’s early 1960’s on recursion in higher types. (This formed a central theme on the borders of set theory and recursion theory in the 60’s and early 70’s, although now unfortunately not much discussed. Amongst the main names here were Gandy, Aczel, Moschovakis, Harrington, Normann.) We aim to present a coherent version of type-2 recursion for the infinite time Turing machine model. We aim to be somewhat (but not entirely) self-contained. Basic descriptive set theory, and recursion theory, together with admissibility theory will be assumed.
The talks take place via zoom. Please contact Philip Welch (email@example.com) ahead of time to participate.