August 19–23, 2024
Generalized ComputabilitY THeory
at CIEM in Castro Urdiales,
Cantabria, Spain.
About
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
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
Organizing committee
Juan P. Aguilera (Vienna University of Technology)
Noam Greenberg (Victoria University of Wellington)
Philip Welch (University of Bristol)
Liang Yu (Nanjing University)
Participation
To participate, contact the organizers.
Venue
Building: «La Residencia» Pedro Velarde.
Address: Calle María Aburto 4
39700 Castro Urdiales
Cantabria, Spain.
Address: Calle María Aburto 4
39700 Castro Urdiales
Cantabria, Spain.
List of participants
To be announced
Program
To be announced