Computability and Mathematical Definability
Celebrating the Seventieth Birthday of Theodore Slaman
October 11-13, 2024 • University of California, Berkeley
Photo credit: George Bergman
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 [Slides]
- 4:10 – 5:00 Hugh Woodin: The Ultrapower Axiom and Ultimate L [Slides]
- 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 [Slides]
- 10:40 – 11:30 Steffen Lempp: Degree Structures and Decidability [Slides]
- 11:40 – 12:30 Patrick Lutz: An analytic equivalence relation with an
unexpected property [Slides] - 2:10 – 3:00pm Chi Tat Chong: The minimal $\alpha$-degree problem revisited [Slides]
- 3:40 – 4:30pm Jan Reimann: Definability and randomness – a travelogue [Slides]
- 7pm: Party
Sunday Oct 13 in 1015 Evans
- 9:00 – 9:40 Breakfast/Coffee
- 9:40 – 10:30 Marcia Groszek: Ordinal arithmetic without $\Sigma^0_1$ induction [Slides]
- 10:40 – 11:30 Andrea Sorbi: Effective inseparability and c.e. structures [Slides]
- 11:40 – 12:30 Antonio Montalbán: A topological game metatheorem [Slides]
Evans hall is locked on the weekend. Please come to the east entrance of the building. We will have someone outside to welcome you in between 8:45am-9:45am and 1:30pm-2:15pm on Saturday, and 8:45am-9:45am on Sunday.
Suggested Hotels
These hotels have University Visitor discount rates. You can use the code “BEARS” for the graduate hotel to get this rate, or you can call the Hotel Shattuck Plaza or the Residence Inn and ask for the UC Visitor discount rate when you book the room.
Support
The meeting is sponsored by the Association for Symbolic Logic (ASL). The ASL provides limited travel grants for graduate students to attend the conference. Students must be members of the ASL to apply, and applications must be received three months prior to the start of the meeting.
