Skip to Main Content
Mobile Menu

Contributed Talks

Multi-Purpose Classroom Building (MPCB)

Session I: Tuesday, March 21 in MPCB 101

4:40 – 5:00 Ori Lahav, Anna Zamansky, and Yoni Zohar* Gen2sat: a SAT-based tool for pure analytic Gentzen calculi
5:10 – 5:30 Arnon Avron and Yoni Zohar* Non-deterministic matrices in action: expansions, refinements, and rexpansions
5:40 – 6:00 Arnon Avron and Liron Cohen* A minimal predicative framework for formalizing mathematics

Session II: Tuesday, March 21 in MPCB 106

4:40 – 5:00 M. Randall Holmes New Foundations is consistent
5:10 – 5:30 Ronald Fuller Transfinite objective mathematical truth
5:40 – 6:00 Joachim Mueller-Theys General import of well-order & co

Session III: Tuesday, March 21 in MPCB 108

4:40 – 5:00 Sebastien Vasey Saturation and solvability in abstract elementary classes with amalgamation
5:10 – 5:30 William Simmons Proof mining effective bounds in differential polynomial rings

Session IV: Tuesday, March 21 in MPCB 118

4:40 – 5:00 Daniel Hathaway The Halpern-Läuchli Theorem at a measurable cardinal
5:10 – 5:30 Francis Adams Combinatorics of Borel graphs on Polish metric spaces