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)
TBA
Kameryn Williams Bard College at Simon's Rock
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)
TBA
Boban Velickovic University of Paris
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