CUNY Graduate Center
Virtual
Organized by Roman Kossak and Athar Abdul-Quader

Spring 2021

April 27
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Dave Marker University of Illinois at Chicago
Real closures of $\omega_1$-like models of PA
Abstract

April 20
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Andrés Cordón Franco Universidad de Sevilla
Induction and collection up to definable elements: calibrating the strength of parameter-free $\Delta_n$-minimization.
Abstract

April 13
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Roman Kossak CUNY
Automorphisms, Jónsson Models, and Satisfaction Classes
Abstract

April 6
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Zachiri McKenzie Zhejiang University
Topless powerset preserving end-extensions and rank-extensions of countable models of set theory
Abstract

March 30
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Paola d’Aquino Università della Campania -“L. Vanvitelli”
Residue rings of models of Peano Arithmetic
Abstract

March 23
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Mateusz Łełyk University of Warsaw
Nonequivalent axiomatizations of PA and the Tarski Boundary: Part III
Abstract

March 16
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Mateusz Łełyk University of Warsaw
Nonequivalent axiomatizations of PA and the Tarski Boundary: Part II
Abstract

March 9
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Damir Dzhafarov University of Connecticut
Reduction games, provability, and compactness
Abstract

March 2
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Ali Enayat University of Gothenburg
PA with a class of indiscernibles
Abstract

February 23
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Corey Switzer University of Vienna
Independence in PA: The Method of $(\mathcal L, n)$-Models
Abstract

February 16
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Mateusz Łełyk University of Warsaw
Nonequivalent axiomatizations of ${\rm PA}$ and the Tarski Boundary
Abstract

February 9
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Leszek Kołodziejczyk University of Warsaw
An isomorphism theorem for models of Weak Kőnig's Lemma without induction
Abstract

February 2
The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
James Walsh Cornell University
Reducing omega-model reflection to iterated syntactic reflection
Abstract