**CUNY Graduate Center**

**Virtual**

**Organized by Roman Kossak and Athar Abdul-Quader**

**Spring 2022**

**May 31**

**8:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)

**Tin Lok Wong**
National University of Singapore

**Another quantifier-elimination result in arithmetic under negated induction**

**Abstract**

**May 24**

**2:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)

**Laurence Kirby**
Baruch College

**The winding road to mathematical independence results for PA**

**Abstract**

**May 17**

**2:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)

**Ken McAloon**
Brooklyn College

**E Pluribus Unum**

**Abstract**

**May 10**

**10:00am** NY time

**Virtual** (email Victoria Gitman for meeting id)

**Saeed Salehi**
University of Tabriz

*ω*-Consistency: Gödel’s “much weaker” notion of soundness

**Abstract**

**May 3**

**2:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)

**Dino Rossegger**
UC Berkeley and TU Wien

**The structural complexity of models of PA**

**Abstract**

**April 26**

**2:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)

**Michał Godziszewski**
University of Vienna

**Modal Quantifiers, Potential Infinity, and Yablo sequences**

**Abstract**

**April 19**

**2:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)

**Roman Kossak**
CUNY

**Absolute undefinability in arithmetic**

**Abstract**

**April 12**

**2:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)

**Thomas Ferguson**
University of Amsterdam and University of St. Andrews

**Models of relevant arithmetic: Part II**

**Abstract**

**March 29**

**8:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)

**Erez Shochat**
St. Francis College

**A Survey on the Automorphism Groups of Countable (Boundedly) Recursively Saturated Models of PA**

**Abstract**

**March 22**

**2:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)

**Ermek Nurkhaidarov**
Penn State Mont Alto

**Generic Automorphisms**

**Abstract**

**March 15**

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

**Thomas Ferguson**
University of Amsterdam and University of St. Andrews

**Models of Relevant Arithmetic**

**Abstract**

**January 17**

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

**Mauro di Nasso**
Università di Pisa

**Nonstandard natural numbers in arithmetic Ramsey Theory and topological dynamics: Part II**

**Abstract**

**January 10**

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

**Albert Visser**
Utrecht University

**Interpreters as a species of Consistoids**

**Abstract**