Generalized Computability Theory studies extensions of recursion theory and/or computability theory to structures beyond the natural numbers, including the real numbers, higher-type functionals, initial segments of Gödel's constructible universe, and admissible sets.
The workshop on Generalized Computability Theory is a five-day event gathering mathematicians working in all aspects of mathematical logic connected with the topics on the right in order to present recent results, discuss future directions of research, and produce new interactions.
Topics include but are not limited to:
Hyperarithmetic theory and degrees
Admissible and set recursion theory
Higher randomness
Reverse mathematics around ATR0 and above
Infinite-time Turing machines
Effective descriptive set theory
Large countable ordinals and inductive definability
Uncountable computable structure theory
Effective equivalence relations
Juan P. Aguilera (Vienna University of Technology)
Noam Greenberg (Victoria University of Wellington)
Philip Welch (University of Bristol)
Liang Yu (Nanjing University)
To participate, contact the organizers.
List of people who have indicated interest in participating (subject to change):
J. P. Aguilera (TU Wien)
W. Chan (TU Wien)
C. T. Chong (NUS)
V. Cipriani (TU Wien)
F. Dorais (Vermont)
S. Gao (Nankai)
N. Greenberg (VUW)
J. D. Hamkins (Notre Dame)
M. Iannella (TU Wien)
T. Kouptchinsky (TU Wien)
R. Lubarsky (FAU)
J. Miller (Wisconsin – Madison)
K. M. (S.) Ng (Nanyang)
T. Kihara (Nagoya)
G. M. Osso (Udine)
D. Rossegger (TU Wien)
I. Scott (Chicago)
M. Soskova (Wisconsin – Madison)
P. Shafer (Leeds)
R. Shore (Cornell)
B. Siskind (TU Wien)
T. Slaman (Berkeley)
H. Towsner (UPenn)
P. Welch (Bristol)
L. Yu (Nanjing)
9:30–9:45 | Arrival
9:45–10:00 | Welcome
10:00–11:00 | Welch
11:00–11:30 | Coffee break
11:30–12:30 | Lubarsky
BREAK FOR LUNCH AND DISCUSSIONS
2:45–3:45 | Siskind
3:45–4:15 | Coffee break
4:15–5:15 | Chan
5:15–5:30 | Break
5:30–6:30 | Open problem session + discussions
10:00–11:00 | Slaman
11:00–11:30 | Coffee break
11:30–12:30 | Shore
BREAK FOR LUNCH AND DISCUSSIONS
2:45–3:45 | Hamkins
3:45–4:15 | Coffee break
4:15–5:15 | Greenberg
5:15–5:30 | Break
5:30–6:30 | Aguilera
10:00–11:00 | Chong
11:00–11:30 | Coffee break
11:30–12:30 | Gao
BREAK FOR LUNCH AND DISCUSSIONS
2:45–3:45 | Kouptchinsky
3:45–4:15 | Coffee break
4:15–6:30 | Discussions/free
10:00–11:00 | Kihara
11:00–11:30 | Coffee break
11:30–12:30 | Townser
BREAK FOR LUNCH AND DISCUSSIONS
2:45–3:45 | Rossegger
3:45–4:15 | Coffee break
4:15–5:15 | Iannella
5:15–5:30 | Break
5:30–6:30 | Ng
10:00–11:00 | Cipriani
11:00–11:30 | Coffee break
11:30–12:30 | Osso
BREAK FOR LUNCH AND DISCUSSIONS
2:45–4:30 | Discussions
4:30–\infty | Free