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