Pmax Tutorial by Paul Larson

January 10th to 19th, 2023 at TU Wien

Paul Larson will visit TU Wien in January. He will give a two weeks Pmax forcing tutorial from January 10-19, 2023. In addition to introductory material from his handbook article, he will also present Woodin's theorem on $MM^{++}(c)$ in Pmax extensions of models of $AD_\mathbb{R} + \Theta$ regular as well as ideas from the celebrated results on the failure of square (Caicedo-Sargsyan-Larson-Schindler-Steel-Zeman, 2017, and Larson-Sargsyan, 2021). We plan to have 2,5h of lectures in the morning each day (with a break) to leave ample of time for discussions and further reading in the afternoons. We want to make the tutorial accessible to everyone but this might require some preparatory reading on your side. There is no registration fee but please get in touch with me as soon as possible if you are interested in attending (there is a limited room capacity!) and let me know if you would need funding.

Handwritten lecture notes taken by Takehiko Gappo are available here.

Schedule: Week 1

Except where noted otherwise, all lectures will take place in the Dissertantenraum on the 8th floor in the green area of the Freihaus of TU Wien, Wiedner Hauptstraße 8-10, 1040 Vienna.

Time Monday Tuesday Wednesday Thursday Friday
9:30 - 10:45 Larson Larson Larson Larson
10:45 - 11:15 Coffee break (Meeting room, 5th floor, green area)
11:15 - 12:30 Larson
(7th floor)
Larson Larson Larson
12:30 - 14:30 Arrival Lunch break (Meeting room, 5th floor, green area)
14:30 - 17:30 Discussions (Meeting room and offices, 5th floor, green area)

In addition, there will be a talk in the University of Vienna Set Theory Seminar by Peter Holy on Tuesday 15:00-16:30. Moreover, we have an inner model theory seminar on Thursday 13:00-14:20 in the Dissertantenzimmer on the 8th floor at TU Wien and a talk by Benjamin Siskind in the Logic Colloquium at the University of Vienna on Thursday 15:00-15:45.

Schedule: Week 2

Except where noted otherwise, all lectures will take place in the Dissertantenraum on the 8th floor in the green area of the Freihaus of TU Wien, Wiedner Hauptstraße 8-10, 1040 Vienna.

Time Monday Tuesday Wednesday Thursday Friday
9:30 - 10:45 Larson Larson Larson Larson Discussions
10:45 - 11:15 Coffee break (Meeting room, 5th floor, green area) and
11:15 - 12:30 Larson Larson
(7th floor)
Larson Larson Departure
12:30 - 14:30 Lunch break (Meeting room, 5th floor, green area)
14:30 - 17:30 Discussions (Meeting room and offices, 5th floor, green area)
18:30 - 21:00 Networking Dinner
at Café Museum

In addition, there will be a talk in the University of Vienna Set Theory Seminar by Peter Holy on Tuesday 15:00-16:30. Moreover, we have an inner model theory seminar on Thursday 13:00-14:30.

List of confirmed participants


If you have any questions, please contact the organizer: Sandra Müller.