Calendar

September 8: Logic Workshop
The model-theory of compact spaces
Hans Schoutens CUNY
Abstract

September 15: Logic Workshop
No seminar
CUNY holiday for Rosh Hashanah.

September 22: Model Theory Seminar
Finite structures embedded in infinite ones, then and now
Michael Benedikt University of Oxford
Abstract

September 22: Logic Workshop
On equations of Poizat type
David Marker University of Illinois at Chicago
Abstract

September 29: Logic Workshop
Is the consistency operator canonical?
James Walsh New York University
Abstract

October 6: Logic Workshop
Ergodic theorems along trees
Jenna Zomback University of Maryland
Abstract

October 13: Model Theory Seminar
TBA
Vincent Guingona Towson University
Abstract

October 17: MOPA
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Coin flipping on models of arithmetic to define the standard cut
Elliot Glazer Harvard University
Abstract

October 20: Logic Workshop
TBA
Rehana Patel Wesleyan University
Abstract

October 24: MOPA
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
TBA
Alessandro Berarducci and Marcello Mamino University of Pisa
Abstract

October 27: Logic Workshop
Poincaré-Weyl's predicativity: going beyond $\Gamma_0$
Arnon Avron Tel Aviv University
Abstract

November 3: Logic Workshop
Nonstandard methods without the Axiom of Choice
Karel Hrbacek CUNY
Abstract

November 10: Logic Workshop
Upward Löwenheim Skolem numbers for abstract logics
Victoria Gitman CUNY
Abstract

November 17: Logic Workshop
TBA
Joel David Hamkins Notre Dame University
Abstract

November 24: Logic Workshop
No seminar
CUNY holiday for Thanksgiving.

December 8: Logic Workshop
Beth definability and nested relations
Michael Benedikt Oxford University
Abstract