Operations, Sets, and Types OST18

• 14.00 - 15.00 Pohlers — "A note on the limits of predicativity"

15.00 - 15.30 Coffee

• 15.30 - 16.30 Bovykin — "The struggle for infrastructure: how unprovability proofs emerge and how they end"

16.30 - 17.00 Coffee

• 17.00 - 18.00 Sato — "Conservations of second order Σ¹₁collection and Σ¹₁closure"

• 09.00 - 10.00 Walsh — "Hierarchies of proof-theoretic strength"

10.00 - 10.30 Coffee

• 10.30 - 11.30 Buchholtz — "Homotopy type theory and operational systems"

11.30 - 12.00 Coffee

• 12.00 - 13.00 Gordeev — "Continuity in weak constructive set theories"

13.00 - 14.00 Lunch

• 14.00 - 15.00 Artemov — "New Foundations of Epistemic Logic"

15.00 - 15.30 Coffee

• 15.30 - 16.30 Steila — "Fixed point statements in the locally predicative and impredicative spotlights"

16.30 - 17.00 Coffee

• 17.00 - 18.00 Jaun — "Category Theory in Explicit Mathematics"

18.30 Conference Dinner

• 09.00 - 10.00 Nogina — "On Reflection Principles and Iterated Consistencies"

10.00 - 10.30 Coffee

• 10.30 - 11.30 Bärtschi — "Theories around Γ₀"

11.30 - 12:00 Coffee

• 12.00 - 13.00 Kahle — "Mahloness in Explicit Mathematics"