**Calendar**

**January 26**:
**Memorial lectures for Martin Davis at the Courant Institute (New York University)**

All are welcome to attend this special event in memory of Professor Martin Davis. There will be three lectures on his work from 1:00 - 2:30 pm, a memorial for Martin and Virginia Davis from 2:45 - 3:45 pm, and a reception afterwards from 4-6 pm. Preregistration is requested, ideally by January 15, using the website.

**February 2**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**Blurry HOD and the structure of leaps**

**Gunter Fuchs**
CUNY

**Abstract**

**February 2**:
**Set Theory Seminar**
**12:30pm** NY time

**Room: 6494**

**Hybrid** (email Victoria Gitman for meeting id)
**Mutual stationarity and the failure of SCH**

**Dima Sinapova**
Rutgers University

**Abstract**

**February 9**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**Properties of Generic Algebraic Fields**

**Russell Miller**
CUNY

**Abstract**

**February 9**:
**Set Theory Seminar**
**12:30pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**Tukey-top ultrafilters under UA**

**Tom Benhamou**
Rutgers University

**Abstract**

**February 13**:
**MOPA**
**1:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**The Borel complexity of first-order theories**

**Dino Rossegger**
TU Wien

**Abstract**

**February 16**:
**Computability Seminar**
**10:30am** NY time

**Room: 3305**
**Largeness notions**

**Andrea Volpi**
University of Udine

**Abstract**

**February 16**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**The Ginsburg-Sands theorem and computability**

**Damir Dzhafarov**
University of Connecticut

**Abstract**

**February 23**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**Commutativity of cofinal types of ultrafilters**

**Tom Benhamou**
Rutgers University

**Abstract**

**February 27**:
**MOPA**
**1:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**Explicit models of arithmetic do not have full standard system**

**Elliot Glazer**
Harvard University

**Abstract**

**March 1**:
**Model Theory Seminar**
**12:30pm** NY time

**Room: 6495**
**Big Ramsey degrees in ultraproducts of finite structures**

**Rehana Patel**
Wesleyan University

**Abstract**

**March 1**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**Component Closed Structures on the Reals**

**Alf Dolich**
CUNY

**Abstract**

**March 5**:
**MOPA**
**1:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**Tightness and solidity in fragments of Peano Arithmetic**

**Piotr Gruza**
University of Warsaw

**Abstract**

**March 8**:
**Logic Workshop**
**No seminar**

**March 8**:
**Set Theory Seminar**
**12:30pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**Model Theory of class-sized logics**

**Jonathan Osinski**
Univeristy of Hamburg

**Abstract**

**March 12**:
**MOPA**
**1:00pm** NY time

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

**Albert Visser**
Utrecht University

**Abstract**

**March 15**:
**Set Theory Seminar**
**12:30pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**Squares, ultrafilters and forcing axioms**

**Chris Lambie-Hanson**
Czech Academy of Sciences

**Abstract**

**March 15**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**Tennebaum's Theorem for quotient presentations and model-theoretic skepticism**

**Michał Godziszewski**
University of Warsaw

**Abstract**

**March 19**:
**MOPA**
**1:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**The lattice problem for models of PA**

**Roman Kossak**
CUNY

**Abstract**

**March 22**:
**Set Theory Seminar**
**12:30pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**A choiceless answer to a question of Woodin**

**Arthur Apter**
CUNY

**Abstract**

**March 22**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**Mediate cardinals**

**Kameryn Williams**
Bard College at Simon's Rock

**Abstract**

**March 26**:
**MOPA**
**1:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**The lattice problem for models of PA: part II**

**Roman Kossak**
CUNY

**Abstract**

**March 29**:
**Logic Workshop**
**No seminar**

CUNY holiday.

**April 2**:
**MOPA**
**1:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**Representations of lattices**

**Athar Abdul-Quader**
Purchase College

**Abstract**

**April 5**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**Decision problem for groups as equivalence relations**

**Meng-Che 'Turbo' Ho**
California State University at Northridge

**Abstract**

**April 5**:
**Set Theory Seminar**
**12:30pm** NY time

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

**Kameryn Williams**
Bard College at Simon's Rock

**Abstract**

**April 9**:
**MOPA**
**1:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**Representations of lattices: Part II**

**Athar Abdul-Quader**
Purchase College

**Abstract**

**April 12**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**Geometric tools for the decidability of the existential theory of $F_p[[t]]$**

**Hans Schoutens**
CUNY

**Abstract**

**April 12**:
**Set Theory Seminar**
**12:30pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**On some infinitary logics**

**Boban Velickovic**
University of Paris

**Abstract**

**April 18**:
**MOPA**
**8:00pm** NY time

**Note special day and time!**

**Virtual** (email Victoria Gitman for meeting id)
**On the $\Pi^1_2$ consequences of $\Pi^1_1$-$\mathsf{CA}_0$**

**Yudai Suzuki**
Tohoku University

**Abstract**

**April 19**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**Some applications of model theory to lattice-ordered groups**

**Philip Scowcroft**
Wesleyan University

**Abstract**

**May 3**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**Computability of entropy and pressure on compact symbolic spaces beyond finite type**

**Christian Wolf**
CUNY

**Abstract**

**May 3**:
**Model Theory Seminar**
**CANCELLED**

**12:30pm** NY time

**Room: 6495**
**Genericity in models of arithmetic**

**Athar Abdul-Quader**
Purchase College

**Abstract**

**May 3**:
**Set Theory Seminar**
**12:30pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**Iterated ultrapower methods in analysis of Prikry type forcing**

**Spencer Unger**
University of Toronto

**Abstract**

**May 7**:
**MOPA**
**1:00pm** NY time

**Virtual** (email Victoria Gitman for meeting id)
**Tarski's undefinability of truth theorem strikes again**

**Ali Enayat**
University of Gothenburg

**Abstract**

**May 10**:
**Model Theory Seminar**
**12:30pm** NY time

**Room: 6495**
**The decidability of the rings Z/mZ**

**Alf Dolich**
CUNY

**Abstract**

**May 10**:
**Logic Workshop**
**2:00pm** NY time

**Room: 5417**
**The lattice problem for models of arithmetic**

**Roman Kossak**
CUNY

**Abstract**

**May 16**:
**MOPA**
**1:00pm** NY time

**Note special day!**

**Virtual** (email Victoria Gitman for meeting id)
**Tarski's undefinability of truth theorem strikes again: part II**

**Ali Enayat**
University of Gothenburg

**Abstract**