**Calendar**

**February 1**:
**Set Theory Seminar**
**Bounded forcing axioms and the preservation of wide Aronszajn trees**

**Gunter Fuchs**,
CUNY

**Abstract**

**February 1**:
**Logic Workshop**
**Seminar cancelled**

**February 6**:
**MOPA**
**$\kappa$-like models**

**Whan Ki Lee**,
CUNY

**Abstract**

**February 8**:
**Set Theory Seminar**
**Martin's Maximum and the Diagonal Reflection Principle**

**Sean Cox**,
Virginia Commonwealth University

**Abstract**

**February 8**:
**Logic Workshop**
**The isomorphism and bi-embeddability relations for countable abelian groups**

**Simon Thomas**,
Rutgers University

**Abstract**

**February 15**:
**Set Theory Seminar**
**Level-by-level virtual large cardinals**

**Dan Saattrup Nielsen**,
University of Bristol

**Abstract**

**February 15**:
**Logic Workshop**
**60 Years of the MacDowell-Specker Theorem**

**Roman Kossak**,
CUNY

**Abstract**

**February 22**:
**Logic Workshop**
**Computability of exchangeable sequences, arrays, and graphs**

**Cameron Freer**,
Massachusetts Institute of Technology

**Abstract**

**February 22**:
**Model Theory Seminar**
**Finite constraint: A combinatorial concept with logical applications**

**Rebecca Coulson**,
West Point Military Academy

**Abstract**

**February 27**:
**MOPA**
**Sets at arm's length**

**Corey Switzer**,
CUNY

**Abstract**

**March 1**:
**Logic Workshop**
**Equivalence of generic reals**

**Iian Smythe**,
Rutgers University

**Abstract**

**March 1**:
**Model Theory Seminar**
**On PAC Fields with a Strong Form of Model Completeness**

**Gregory Cousins**,
University of Notre Dame

**Abstract**

**March 1**:
**Set Theory Seminar**
**The C-sequence number**

**Chris Lambie-Hanson**,
Virginia Commonwealth University

**Abstract**

**March 6**:
**MOPA**
**Mathias genericity in second order models of arithmetic**

**Athar Abdul-Quader**,
SUNY Purchase College

**Abstract**

**March 8**:
**Set Theory Seminar**
**Characterizations of the two-cardinal weakly compact ideal**

**Brent Cody**,
Virginia Commonwealth University

**Abstract**

**March 8**:
**Logic Workshop**
**Generic embeddings and ideals associated to large cardinals**

**Brent Cody**,
Virginia Commonwealth University

**Abstract**

**March 8**:
**Logic Workshop**
**Special time: 12:30-2:00pm**
**Mathias generics over a countable Turing ideal**

**Rose Weisshaar**,
Universty of Pennsylvania

**Abstract**

**March 8**:
**Model Theory Seminar**
**Seminar cancelled**

An additional Logic Workshop is taking place in the Model Theory Seminar time slot.

**March 11**:
**Workshop on Model Theory, Differential/Difference Algebra, and Applications, CUNY/Courant, March 11-16**

The meeting includes talks by Joel Nagloo, James Freitag, Rémi Jaoui, Rahim Moosa, and Henry Towsner. The meeting website is https://cs.nyu.edu/~pogudin/ksda/.

**March 13**:
**MOPA**
**Mathias genericity in second order models of arithmetic**

**Athar Abdul-Quader**,
SUNY Purchase College

**Abstract**

**March 15**:
**Set Theory Seminar**
**Bedrocks in Extender Models**

**Stefan Mesken**,
University of Münster

**Abstract**

**March 15**:
**Logic Workshop**
**Seminar cancelled**

Rahim Moosa will give a model-theoretic KSDA Workshop talk at 2:00 in room 6417 instead.

**March 15**:
**Model Theory Seminar**
**Omega-categorical, dp-minimal groups are nilpotent-by-finite**

**Chris Natoli**,
CUNY

**Abstract**

**March 20**:
**MOPA**
**Complexity of the isomorphism relation for finitely generated models of PA**

**Roman Kossak**,
CUNY

**Abstract**

**March 22**:
**Logic Workshop**
**A Löwenheim-Skolem Theorem for a variation of stationary logic which implies that the continuum is very large**

**Sakae Fuchino**,
Kobe University

**Abstract**

**March 22**:
**Set Theory Seminar**
**Kelley-Morse set theory does not prove the class Fodor Principle**

**Joel David Hamkins**,
Oxford University

**Abstract**

**March 22**:
**Model Theory Seminar**
**Seminar cancelled**

The Set Theory Seminar is taking place in the Model Theory Seminar time slot.

**March 22**:
**Set Theory Seminar**
**Special time: 12:30-2pm**
**Strong Compactness, Easton Functions, and Indestructibility**

**Arthur Apter**,
CUNY

**Abstract**

**March 27**:
**MOPA**
**Definable sets in Presburger arithmetic**

**Simon Heller**,
CUNY

**Abstract**

**March 29**:
**Logic Workshop**
**Balanced Forcing Extensions**

**Paul Larson**,
Miami University

**Abstract**

**March 29**:
**Model Theory Seminar**
**Geometric model theory in separably closed valued fields**

**Martin Hils**,
University of Münster

**Abstract**

**March 29**:
**Set Theory Seminar**
**Universally Baire Sets and the powerset function**

**Grigor Sargsyan**,
Rutgers University

**Abstract**

**April 3**:
**MOPA**
**$\Pi^0_1$-computable quotient presentations of nonstandard models of arithmetic**

**Michał Tomasz Godziszewski**,
University of Warsaw

**Abstract**

**April 5**:
**Logic Workshop**
**Computability-Theoretic Aspects of Ramsey's Theorem**

**Peter Cholak**,
University of Notre Dame

**Abstract**

**April 5**:
**Model Theory Seminar**
**Model companions of theories of valued differential fields**

**Nigel Pynn-Coates**,
University of Illinois at Urbana-Champaign

**Abstract**

**April 5**:
**Set Theory Seminar**
**Set-Theoretic Independence and Machine Learning**

**Michał Tomasz Godziszewski**,
University of Warsaw

**Abstract**

**April 10**:
**MOPA**
**Introduction to Loeb Measure**

**Erez Shochat**,
St. Francis College

**Abstract**

**April 12**:
**Set Theory Seminar**
**Generalized Cohen Iterations**

**Jonas Reitz**,
CUNY

**Abstract**

**April 12**:
**Logic Workshop**
**Coding structures**

**Julia Knight**,
University of Notre Dame

**Abstract**

**April 12**:
**Model Theory Seminar**
**Scott Sentences of Scattered Linear Orders**

**Rachael Alvir**,
University of Notre Dame

**Abstract**

**April 19**:
**Set Theory Seminar**
**Logic Workshop**
**Model Theory Seminar**
**Seminar cancelled**

Spring Break

**April 26**:
**Set Theory Seminar**
**Logic Workshop**
**Model Theory Seminar**
**Seminar cancelled**

Spring Break

**May 3**:
**Logic Workshop**
**Countable universal graphs with forbidden subgraphs**

**Gregory Cherlin**,
Rutgers University

**Abstract**

**May 3**:
**Set Theory Seminar**
**Lower bounds on the cardinalities of quotient algebras of elementary embeddings**

**Joseph Van Name**,
CUNY

**Abstract**

**May 3**:
**Model Theory Seminar**
**TBA**

**Artem Chernikov**,
UCLA

**Abstract**

**May 10**:
**Set Theory Seminar**
**Transfinite Recursion from Gödel–Bernays to Kelley–Morse**

**Kameryn Williams**,
University of Hawai‘i at Mānoa

**Abstract**