Event Detail
Fri Oct 11, 2024–Sun Oct 13, 2024 UC Berkeley Campus |
Conference Computability and Mathematical Definability |
Invited Speakers
Veronica Becher, Universidad de Buenos Aires
Chi Tat Chong, National University of Singapore
Marcia Groszek, Dartmouth College
Steffen Lempp, University of Wisconsin–Madison
Patrick Lutz, University of California, Berkeley
Andrew Marks, University of California, Berkeley
Antonio Montalbán, University of California, Berkeley
Jan Reimann, Pennsylvania State University
Andrea Sorbi, Università di Siena
Hugh Woodin, Harvard University
Schedule
Friday Oct 11 in 2 Physics
3:10 – 4:00 Andrew Marks: On a question of Slaman and Steel
4:10 – 5:00 Hugh Woodin: The Ultrapower Axiom and Ultimate L
Reception in the Tarski Room
Saturday Oct 12 in 1015 Evans
9:00 – 9:40 Breakfast/Coffee 9:40 – 10:30 Verónica Becher: On normal numbers
10:40 – 11:30 Steffen Lempp: Degree Structures and Decidability
11:40 – 12:30 Patrick Lutz: An analytic equivalence relation with an unexpected property
2:10 – 3:00pm Chi Tat Chong: The minimal α-degree problem revisited
3:40 – 4:30pm Jan Reimann: Definability and randomness – a travelogue
7pm: Party
Sunday Oct 13 in 1015 Evans
9:00 – 9:40 Breakfast/Coffee
9:40 – 10:30 Marcia Groszek: Ordinal arithmetic without Σ^0_1 induction
10:40 – 11:30 Andrea Sorbi: Effective inseparability and c.e. structures
11:40 – 12:30 Antonio Montalbán: A topological game metatheorem