CUNY Graduate Center
Room 4214.03
Wednesdays 6:30pm-8pm
Organized by Roman Kossak

Calendar

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
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$: 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
The seminar will take place virtually at 3pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Saeideh Bahrami Institute for Research in Fundamental Sciences, Tehran
Fixed Points of Initial Self-Embeddings of Models of Arithmetic
Abstract

September 2
The seminar will take place virtually at 3pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
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
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Athar Abdul-Quader Purchase College
CP-genericity and neutrality
Abstract

July 29
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
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
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Corey Switzer CUNY
Axiomatizing Kaufmann models in strong logics
Abstract

July 1
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
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
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
Abstract

June 3
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Zachiri McKenzie
Initial self-embeddings of models of set theory: Part I
Abstract

May 27
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 II
Abstract

May 20
Seminar cancelled
There is no seminar today.

May 13
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Laurence Kirby CUNY
Bounded finite set theory
Abstract

May 6
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Ali Enayat University of Gothenburg
The Barwise-Schlipf characterization of recursive saturation of models of PA: Part II
Abstract

April 29
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Ali Enayat University of Gothenburg
The Barwise-Schlipf characterization of recursive saturation of models of PA: Part I
Abstract

April 22
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
Corey Switzer CUNY
Hanf Numbers of Arithmetics
Abstract

April 15
The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.
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

Previous Semesters