Sixty years of AKE transfer principles, a short course
Introductory School
Definability, Decidability, and Computability
15th – 19th September 2025
Part of
Trimester Program: “Definability, decidability, and computability”,
Hausdorff Research Institute for Mathematics,
Bonn,
1st September – 12th December 2025
Sixty years of Ax–Kochen–Ershov transfer principles
- Lecture 1: 11:40 – 12:40 Monday 15th September, skeletal notes
- Lecture 2: 09:00 – 10:00 Tuesday 16th September
- Lecture 3: 16:00 – 17:00 Tuesday 16th September
- Lecture 4: 10:20 – 11:20 Thursday 18th September
- Lecture 5: 11:40 – 12:40 Friday 19th September