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

Fall 2020

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
The seminar will take place virtually at 3pm 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