**CUNY Graduate Center**

**Room 4214.03**

**Wednesdays 6:30pm-8pm**

**Organized by Roman Kossak**

**Calendar**

**December 9**

**The seminar will take place virtually at 3pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Konrad Zdanowski**
Cardinal Stefan Wyszynski University in Warsaw

**Truth predicate for $\Delta_0$ formulas and PSPACE computations**

**Abstract**

**November 11**

**The seminar will take place virtually at 12pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Joel David Hamkins**
Oxford University

**Continuous models of arithmetic**

**Abstract**

**November 4**

**The seminar will take place virtually at 3pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Victoria Gitman**
CUNY

**A model of second-order arithmetic satisfying AC but not DC: Part II**

**Abstract**

**October 28**

**The seminar will take place virtually at 3pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Victoria Gitman**
CUNY

**A model of second-order arithmetic satisfying AC but not DC**

**Abstract**

**October 21**

**The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Roman Kossak**
CUNY

**Types, gaps, and pairs of models of PA: Part III**

**Abstract**

**October 14**

**The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Roman Kossak**
CUNY

**Types, gaps, and pairs of models of PA: Part II**

**Abstract**

**October 7**

**The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Roman Kossak**
CUNY

**Types, gaps, and pairs of models of PA**

**Abstract**

**September 30**

**Leszek Kołodziejczyk**
University of Warsaw

**Ramsey's Theorem over $\mathrm{RCA}^*_0$: Part II**

**Abstract**

**September 16**

**The seminar will take place virtually at 5pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Sam Coskey**
Boise State University

**Classification of countable models of ZFC**

**Abstract**

**September 9**

**Saeideh Bahrami**
Institute for Research in Fundamental Sciences, Tehran

**Fixed Points of Initial Self-Embeddings of Models of Arithmetic**

**Abstract**

**September 2**

**Petr Glivický**
Universität Salzburg

**The $\omega$-iterated nonstandard extension of $\mathbb{N}$ and Ramsey combinatorics**

**Abstract**

**August 26**

**The seminar will take place virtually at 12pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Emil Jeřábek**
Czech Academy of Sciences

**Feasible reasoning with arithmetic operations**

**Abstract**

**August 19**

**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

**Ramsey's Theorem over $\mathrm{RCA}^*_0$**

**Abstract**

**August 12**

**Athar Abdul-Quader**
Purchase College

**CP-genericity and neutrality**

**Abstract**

**July 29**

**Kameryn Williams**
University of Hawai‘i at Mānoa

**End-extensions of models of set theory and the $\Sigma_1$ universal finite sequence**

**Abstract**

**July 22**

**The seminar will take place virtually at 8pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Tin Lok Wong**
National University of Singapore

**Properties preserved in cofinal extensions**

**Abstract**

**July 15**

**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

**Partial Reflection over Uniform Disquotational Truth II**

**Abstract**

**July 8**

**Corey Switzer**
CUNY

**Axiomatizing Kaufmann models in strong logics**

**Abstract**

**July 1**

**Zachiri McKenzie**

**Initial self-embeddings of models of set theory: Part II**

**Abstract**

**June 24**

**The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Bartosz Wcisło**
Polish Academy of Sciences

**Tarski boundary III**

**Abstract**

**June 17**

**Mateusz Łełyk**
University of Warsaw

**Partial Reflection over Uniform Disquotational Truth**

**Abstract**

**June 3**

**Zachiri McKenzie**

**Initial self-embeddings of models of set theory: Part I**

**Abstract**

**May 27**

**Bartosz Wcisło**
Polish Academy of Sciences

**Tarski boundary II**

**Abstract**

**May 20**

**Seminar cancelled**

There is no seminar today.

**May 13**

**Laurence Kirby**
CUNY

**Bounded finite set theory**

**Abstract**

**May 6**

**Ali Enayat**
University of Gothenburg

**The Barwise-Schlipf characterization of recursive saturation of models of PA: Part II**

**Abstract**

**April 29**

**Ali Enayat**
University of Gothenburg

**The Barwise-Schlipf characterization of recursive saturation of models of PA: Part I**

**Abstract**

**April 22**

**Corey Switzer**
CUNY

**Hanf Numbers of Arithmetics**

**Abstract**

**April 15**

**Wei Wang**
Institute of Logic and Cognition, Sun Yat-sen University

**Non-standard models of arithmetic and their standard systems**

**Abstract**

**April 1**

**The seminar will take place virtually at 8pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**

**Whan Ki Lee**
CUNY

**Solid bases and AH-sets**

**Abstract**

**March 4**

**Alexander Van Abel**
CUNY

**Omitting Classes of Elements**

**Abstract**

**February 26**

**Athar Abdul-Quader**
Purchase College

**Pentagon III**

**Abstract**

**February 19**

**James Geiser**

**Soundness and the Gödel Undecidability Theorem**

**Abstract**

**February 5**

**Athar Abdul-Quader**
Purchase College

**The pentagon saga continues**

**Abstract**