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

Spring 2023

May 9
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Mateusz Łełyk University of Warsaw
Pathologies in Satisfaction Classes: part II
Abstract

April 25
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Mateusz Łełyk University of Warsaw
Pathologies in Satisfaction Classes
Abstract

April 18
1:30pm NY time
Virtual (email Victoria Gitman for meeting id)
Katarzyna W. Kowalik University of Warsaw
The chain-antichain principle and proof size
Abstract

March 21
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Bartosz Wcisło University of Gdańsk
Satisfaction classes with the full collection scheme: Part II
Abstract

March 14
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Bartosz Wcisło University of Gdańsk
Satisfaction classes with the full collection scheme
Abstract

March 7
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Bellaouar Djamel University 08 Mai 1945 Guelma
Some generalizations on the representation of unlimited natural numbers
Abstract

February 28
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Zuzana Hanikova Czech Academy of Sciences
Vopěnka's Alternative Set Theory and its mathematical context
Abstract

February 21
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Alexei Miasnikov Stevens Institute of Technology
First-order classification and non-standard models
Abstract

February 14
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Vladimir Kanovei Institute for Information Transmission Problems
On the significance of parameters in the choice and сomprehension schemata in the 2nd-order Peano arithmetic
Abstract

February 7
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Mikhail Katz Bar Ilan University
Effective infinitesimals in R
Abstract

January 31
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Lorenzo Galeotti Amsterdam University College
Order types of models of arithmetic without induction
Abstract

January 24
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Karel Hrbacek CUNY
Representation of unlimited integers
Abstract

January 10
1:00pm NY time
Virtual (email Victoria Gitman for meeting id)
Arseniy Sheydvasser Technion
Are higher-rank arithmetic groups uniformly bi-interpretable with arithmetic?
Abstract