**CUNY Graduate Center**

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

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

**Calendar**

**February 13**

**1:00pm** NY time

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

**Dino Rossegger**
TU Wien

**The Borel complexity of first-order theories**

**Abstract**

**February 27**

**1:00pm** NY time

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

**Elliot Glazer**
Harvard University

**Explicit models of arithmetic do not have full standard system**

**Abstract**

**March 5**

**1:00pm** NY time

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

**Piotr Gruza**
University of Warsaw

**Tightness and solidity in fragments of Peano Arithmetic**

**Abstract**

**March 12**

**1:00pm** NY time

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

**Albert Visser**
Utrecht University

**Restricted completions**

**Abstract**

**March 19**

**1:00pm** NY time

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

**Roman Kossak**
CUNY

**The lattice problem for models of PA**

**Abstract**

**March 26**

**1:00pm** NY time

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

**Roman Kossak**
CUNY

**The lattice problem for models of PA: part II**

**Abstract**

**April 2**

**1:00pm** NY time

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

**Athar Abdul-Quader**
Purchase College

**Representations of lattices**

**Abstract**

**April 9**

**1:00pm** NY time

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

**Athar Abdul-Quader**
Purchase College

**Representations of lattices: Part II**

**Abstract**

**April 18**

**8:00pm** NY time

**Note special day and time!**

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

**Yudai Suzuki**
Tohoku University

**On the $\Pi^1_2$ consequences of $\Pi^1_1$-$\mathsf{CA}_0$**

**Abstract**

**May 7**

**1:00pm** NY time

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

**Ali Enayat**
University of Gothenburg

**Tarski's undefinability of truth theorem strikes again**

**Abstract**

**May 16**

**1:00pm** NY time

**Note special day!**

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

**Ali Enayat**
University of Gothenburg

**Tarski's undefinability of truth theorem strikes again: part II**

**Abstract**