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

Spring 2024

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

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

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

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 2
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Athar Abdul-Quader Purchase College
Representations of lattices
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

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 12
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Albert Visser Utrecht University
Restricted completions
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

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

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