**CUNY Graduate Center**

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

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

**Calendar**

**April 25**

**1:00pm** NY time

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

**Mateusz Łełyk**
University of Warsaw

**TBA**

**Abstract**

**April 18**

**1:00pm** NY time

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

**Katarzyna W. Kowalik**
University of Warsaw

**TBA**

**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**