Operations, Sets, and Types OST17

10.00 - 10.30 Coffee and Opening

• 10.30 - 11.30 Streicher — "Some recent results in Classical Realizability"

12.00 - 14.00 Lunch

• 14.00 - 15.00 Buchholz — "Ordinal notations around the Bachmann-Howard ordinal I"

15.00 - 15.30 Coffee

• 15.30 - 16.30 Sato — "Similarities and Dissimilarities between Second Order Number and Set Theories"
• 16.45 - 17.45 Beckmann — "Provably Total NP Search Problems of Bounded Arithmetic and beyond"

18.00 Dinner

• 08.30 - 09.30 Buchholz — "Ordinal notations around the Bachmann-Howard ordinal II"

09.30 - 10.00 Coffee

• 10.00 - 11.00 van den Berg — "Arithmetical conservation results and Goodman’s Theorem"
• 11.15 - 12.15 Schwichtenberg — "Logic for exact real arithmetic"

12.30 - 14.00 Lunch

• 14.00 - 15.00 Sato — "A Partial Realization of Hilbert's Program for Brouwer's Intuitionistic Mathematics"

15.00 - 15.30 Coffee

• 15.30 - 16.30 Fujimoto — "Grounded Classical Truth"
• 16.45 - 17.45 Dorais — "Provident Sets and Predicative Sets"

18.00 Dinner

• 08.30 - 09.00 Rosebrock — "Recursion theory in applicative theories"

09.00 - 09.30 Coffee

• 09.30 - 10.30 Petrakis — "On the geometric character of Homotopy Type Theory"
• 10.45 - 11.45 Buchholz — "Ordinal notations around the Bachmann-Howard ordinal III"

12.00 Lunch