**Calendar**

**January 24**:
**Model Theory Seminar**
**Special time: 2:00-3:30pm**
**A model theoretic adic space**

**Jinhe Ye**
University of Notre Dame

**Abstract**

**January 31**:
**Set Theory Seminar**
**Set theoretic compactness and higher derived limits**

**Chris Lambie-Hanson**
Virginia Commonwealth University

**Abstract**

**February 5**:
**MOPA**
**The pentagon saga continues**

**Athar Abdul-Quader**
Purchase College

**Abstract**

**February 7**:
**Logic Workshop**
**A Q-Wadge hierarchy in quasi-Polish spaces**

**Victor Selivanov**
Institute of Informatics Systems, Novosibirsk

**Abstract**

**February 14**:
**Logic Workshop**
**Tarski boundary**

**Bartosz Wcisło**
University of Warsaw

**Abstract**

**February 19**:
**MOPA**
**Soundness and the Gödel Undecidability Theorem**

**James Geiser**

**Abstract**

**February 21**:
**Model Theory Seminar**
**A new Hardy field of relevance to Hilbert's 16th problem**

**Patrick Speissegger**
McMaster University

**Abstract**

**February 21**:
**Logic Workshop**
**On $\Sigma$-preorderings in HF(R)**

**Andrey Morozov**
Novosibirsk State University

**Abstract**

**February 26**:
**MOPA**
**Pentagon III**

**Athar Abdul-Quader**
Purchase College

**Abstract**

**February 28**:
**Logic Workshop**
**Geometric triviality in differentially closed fields revisited**

**Joel Nagloo**
CUNY

**Abstract**

**March 4**:
**MOPA**
**Omitting Classes of Elements**

**Alexander Van Abel**
CUNY

**Abstract**

**March 6**:
**Model Theory Seminar**
**Computability of the countable saturated differentially closed field**

**Dave Marker**
University of Illinois at Chicago

**Abstract**

**March 6**:
**Logic Workshop**
**Lowness for isomorphism and Turing degrees**

**Johanna Franklin**
Hofstra University

**Abstract**

**March 13**:
**Model Theory Seminar**
**The talk is cancelled.**
**The Bipartite Diameter 3 Metrically Homogeneous Graphs of Generic Type: Their Ages and Their Almost Sure Theories**

**Rebecca Coulson**
United States Military Academy

**Abstract**

**March 13**:
**Logic Workshop**
**The talk is cancelled.**
**The complexity of radical constructions in rings and modules**

**Chris Conidis**
CUNY

**Abstract**

**April 1**:
**MOPA**
**The seminar will take place virtually at 8pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Solid bases and AH-sets**

**Whan Ki Lee**
CUNY

**Abstract**

**April 15**:
**MOPA**
**The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Non-standard models of arithmetic and their standard systems**

**Wei Wang**
Institute of Logic and Cognition, Sun Yat-sen University

**Abstract**

**April 17**:
**Set Theory Seminar**
**The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Specializing Wide Trees Without Adding Reals**

**Corey Switzer**
CUNY

**Abstract**

**April 22**:
**MOPA**
**The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Hanf Numbers of Arithmetics**

**Corey Switzer**
CUNY

**Abstract**

**April 24**:
**Set Theory Seminar**
**The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Indestructibility and the First Two Strongly Compact Cardinals**

**Arthur Apter**
CUNY

**Abstract**

**April 29**:
**MOPA**
**The seminar will take place virtually at 7pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**The Barwise-Schlipf characterization of recursive saturation of models of PA: Part I**

**Ali Enayat**
University of Gothenburg

**Abstract**

**May 1**:
**Set Theory Seminar**
**The seminar will take place virtually at 2pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**From Strong to Woodin cardinals: A level-by-level analysis of the Weak Vopenka Principle**

**Joan Bagaria**
Universitat de Barcelona

**Abstract**

**May 6**:
**MOPA**
**The Barwise-Schlipf characterization of recursive saturation of models of PA: Part II**

**Ali Enayat**
University of Gothenburg

**Abstract**

**May 8**:
**Set Theory Seminar**
**How to obtain lower bounds in set theory**

**Sandra Müller**
University of Vienna

**Abstract**

**May 13**:
**MOPA**
**Bounded finite set theory**

**Laurence Kirby**
CUNY

**Abstract**

**May 15**:
**Set Theory Seminar**
**Recursively saturated models of set theory and their close relatives: Part I**

**Ali Enayat**
University of Gothenburg

**Abstract**

**May 20**:
**MOPA**
**Seminar cancelled**

There is no seminar today.

**May 22**:
**Set Theory Seminar**
**Recursively saturated models of set theory and their close relatives: Part II**

**Ali Enayat**
University of Gothenburg

**Abstract**

**May 27**:
**MOPA**
**Tarski boundary II**

**Bartosz Wcisło**
Polish Academy of Sciences

**Abstract**

**May 29**:
**Set Theory Seminar**
**The geology of inner mantles**

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

**Abstract**

**June 3**:
**MOPA**
**Initial self-embeddings of models of set theory: Part I**

**Zachiri McKenzie**

**Abstract**

**June 5**:
**Set Theory Seminar**
**The Multiverse, Recursive Saturation and Well-Foundedness Mirage: Part I**

**Michał Godziszewski**
Munich Center for Mathematical Philosophy

**Abstract**

**June 12**:
**Set Theory Seminar**
**The Multiverse, Recursive Saturation and Well-Foundedness Mirage: Part II**

**Michał Godziszewski**
Munich Center for Mathematical Philosophy

**Abstract**

**June 17**:
**MOPA**
**Partial Reflection over Uniform Disquotational Truth**

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

**Abstract**

**June 19**:
**Set Theory Seminar**
**Strong guessing models**

**Boban Velickovic**
University of Paris 7

**Abstract**

**June 24**:
**MOPA**
**Tarski boundary III**

**Bartosz Wcisło**
Polish Academy of Sciences

**Abstract**

**June 26**:
**Set Theory Seminar**
**Categorical cardinals**

**Joel David Hamkins**
Oxford University

**Abstract**

**July 1**:
**MOPA**
**Initial self-embeddings of models of set theory: Part II**

**Zachiri McKenzie**

**Abstract**

**July 3**:
**Set Theory Seminar**
**More ZFC inequalities between cardinal invariants**

**Vera Fischer**
University of Vienna

**Abstract**

**July 8**:
**MOPA**
**Axiomatizing Kaufmann models in strong logics**

**Corey Switzer**
CUNY

**Abstract**

**July 10**:
**Set Theory Seminar**
**Uniform large cardinal characterizations and ideals up to measurability**

**Peter Holy**
University of Udine

**Abstract**

**July 15**:
**MOPA**
**Partial Reflection over Uniform Disquotational Truth II**

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

**Abstract**

**July 17**:
**Set Theory Seminar**
**Maximality and Resurrection**

**Kaethe Minden**
Bard College at Simon's Rock

**Abstract**

**July 22**:
**MOPA**
**The seminar will take place virtually at 8pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Properties preserved in cofinal extensions**

**Tin Lok Wong**
National University of Singapore

**Abstract**

**July 24**:
**Set Theory Seminar**
**Measurable cardinals and limits in the category of sets**

**Andrew Brooke-Taylor**
University of Leeds

**Abstract**

**July 29**:
**MOPA**
**End-extensions of models of set theory and the $\Sigma_1$ universal finite sequence**

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

**Abstract**

**July 31**:
**Set Theory Seminar**
**The seminar will take place virtually at 12pm US Eastern Standard Time. Please email Victoria Gitman for meeting id (this talk will have a different meeting ID!).**
**Dissertation defense: Alternative Cichoń diagrams and forcing axioms compatible with CH**

**Corey Switzer**
CUNY

**Abstract**

**August 7**:
**Set Theory Seminar**
**Higher indescribability**

**Brent Cody**
Virginia Commonwealth University

**Abstract**

**August 12**:
**MOPA**
**CP-genericity and neutrality**

**Athar Abdul-Quader**
Purchase College

**Abstract**

**August 14**:
**Set Theory Seminar**
**Canonical fragments of the strong reflection principle**

**Gunter Fuchs**
CUNY

**Abstract**

**August 19**:
**MOPA**
**Ramsey's Theorem over $\mathrm{RCA}^*_0$**

**Leszek Kołodziejczyk**
University of Warsaw

**Abstract**

**August 21**:
**Set Theory Seminar**
**A relative of ${\rm ZF} + {\rm DC} + `\omega_1\text{ is measurable'}$**

**Dan Hathaway**
University of Vermont

**Abstract**

**August 26**:
**MOPA**
**The seminar will take place virtually at 12pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Feasible reasoning with arithmetic operations**

**Emil Jeřábek**
Czech Academy of Sciences

**Abstract**

**August 28**:
**Set Theory Seminar**
**Normal ultrapowers with many sets of ordinals**

**Miha Habič**
Bard College at Simon’s Rock

**Abstract**

**September 2**:
**MOPA**
**The seminar will take place virtually at 3pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**The $\omega$-iterated nonstandard extension of $\mathbb{N}$ and Ramsey combinatorics**

**Petr Glivický**
Universität Salzburg

**Abstract**

**September 4**:
**Set Theory Seminar**
**On logics that make a bridge from the Discrete to the Continuous**

**Mirna Džamonja**
IHPST, CNRS-Université Panthéon-Sorbonne Paris, France

**Abstract**

**September 9**:
**MOPA**
**The seminar will take place virtually at 3pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Fixed Points of Initial Self-Embeddings of Models of Arithmetic**

**Saeideh Bahrami**
Institute for Research in Fundamental Sciences, Tehran

**Abstract**

**September 16**:
**MOPA**
**The seminar will take place virtually at 5pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Classification of countable models of ZFC**

**Sam Coskey**
Boise State University

**Abstract**

**September 18**:
**Set Theory Seminar**
**UA and the Number of Normal Measures over $\aleph_{\omega + 1}$**

**Arthur Apter**
CUNY

**Abstract**

**September 25**:
**Set Theory Seminar**
**The seminar will take place virtually at 11am US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Martin's Maximum^++ implies the P_max axiom (*)**

**Ralf Schindler**
University of Münster

**Abstract**

**September 30**:
**MOPA**
**The seminar will take place virtually at 3pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Ramsey's Theorem over $\mathrm{RCA}^*_0$: Part II**

**Leszek Kołodziejczyk**
University of Warsaw

**Abstract**

**October 2**:
**Set Theory Seminar**
**The seminar will take place virtually at 11am US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Martin’s Maximum^++ implies the P_max axiom (*) (Part 2)**

**David Aspero**
University of East Anglia

**Abstract**

**October 7**:
**MOPA**
**Types, gaps, and pairs of models of PA**

**Roman Kossak**
CUNY

**Abstract**

**October 9**:
**Set Theory Seminar**
**The seminar will take place virtually at 11am US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Forcing with variants of Miller trees**

**Heike Mildenberger**
Albert-Ludwigs-Universität Freiburg

**Abstract**

**October 14**:
**MOPA**
**Types, gaps, and pairs of models of PA: Part II**

**Roman Kossak**
CUNY

**Abstract**

**October 16**:
**Set Theory Seminar**
**Taking Reinhardt's Power Away**

**Richard Matthews**
University of Leeds

**Abstract**

**October 21**:
**MOPA**
**Types, gaps, and pairs of models of PA: Part III**

**Roman Kossak**
CUNY

**Abstract**

**October 23**:
**Set Theory Seminar**
**Ultrapowers and the approximation property**

**Gabriel Goldberg**
University of Berkeley

**Abstract**

**October 28**:
**MOPA**
**A model of second-order arithmetic satisfying AC but not DC**

**Victoria Gitman**
CUNY

**Abstract**

**October 30**:
**Set Theory Seminar**
**The seminar will take place virtually at 1pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Analysis in higher analogues of the reals**

**Benedikt Löwe**
University of Hamburg

**Abstract**

**November 4**:
**MOPA**
**A model of second-order arithmetic satisfying AC but not DC: Part II**

**Victoria Gitman**
CUNY

**Abstract**

**November 6**:
**Set Theory Seminar**
**Covering at limit cardinals of K**

**Ernest Schimmerling**
Carnegie Mellon University

**Abstract**

**November 11**:
**MOPA**
**The seminar will take place virtually at 12pm US Eastern Standard Time. Please email Victoria Gitman for meeting id.**
**Continuous models of arithmetic**

**Joel David Hamkins**
Oxford University

**Abstract**

**November 13**:
**Set Theory Seminar**
**Independence and uncountable cardinals**

**Diana Montoya**
University of Vienna

**Abstract**

**November 20**:
**Set Theory Seminar**
**The recognisable universe in the presence of measurable cardinals**

**Philipp Schlicht**
University of Vienna

**Abstract**

**December 4**:
**Set Theory Seminar**
**The Triangular Embedding Theorem**

**Zach Norwood**
University of Michigan

**Abstract**

**December 9**:
**MOPA**
**Truth predicate for $\Delta_0$ formulas and PSPACE computations**

**Konrad Zdanowski**
Cardinal Stefan Wyszynski University in Warsaw

**Abstract**

**December 11**:
**Set Theory Seminar**
**Iteration, reflection, and singular cardinals**

**Dima Sinapova**
University of Chicago

**Abstract**

**January 8**:
**Set Theory Seminar**
**A miscellany of observations regarding cardinal characteristics of the continuum**

**Thilo Weinert**
University of Vienna

**Abstract**

**January 15**:
**Set Theory Seminar**
**The large cardinal strength of Vopenka's Principle for trees and for rayless trees**

**Trevor Wilson**
Miami University

**Abstract**

**January 22**:
**Set Theory Seminar**
**The relationships between measurable and strongly compact cardinals**

**Erin Carmody**
Fordham University

**Abstract**

**January 29**:
**Set Theory Seminar**
**The relationships between measurable and strongly compact cardinals: Part II**

**Erin Carmody**
Fordham University

**Abstract**

**February 2**:
**MOPA**
**Reducing omega-model reflection to iterated syntactic reflection**

**James Walsh**
Cornell University

**Abstract**

**February 5**:
**Set Theory Seminar**
**Choice from Finite Sets: A Topos View**

**Andreas Blass**
University of Michigan

**Abstract**

**February 9**:
**MOPA**
**An isomorphism theorem for models of Weak Kőnig's Lemma without induction**

**Leszek Kołodziejczyk**
University of Warsaw

**Abstract**

**February 12**:
**Set Theory Seminar**
**Indestructibility (or otherwise) of subcompactness and C(n)-supercompactness**

**Bea Adam-Day**
University of Leeds

**Abstract**

**February 16**:
**MOPA**
**Nonequivalent axiomatizations of ${\rm PA}$ and the Tarski Boundary**

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

**Abstract**

**February 19**:
**Set Theory Seminar**
**Magidor-style embedding characterizations of large cardinals**

**Philipp Lücke**
University of Bonn

**Abstract**

**February 23**:
**MOPA**
**Independence in PA: The Method of $(\mathcal L, n)$-Models**

**Corey Switzer**
University of Vienna

**Abstract**

**February 26**:
**Set Theory Seminar**
**(Non)uniqueness and (un)definability of embeddings beyond choice**

**Farmer Schlutzenberg**
University of Münster

**Abstract**

**March 2**:
**MOPA**
**PA with a class of indiscernibles**

**Ali Enayat**
University of Gothenburg

**Abstract**

**March 5**:
**Set Theory Seminar**
**Generalized stationary reflection and cardinal arithmetic**

**Hiroshi Sakai**
Kobe University

**Abstract**

**March 9**:
**MOPA**
**TBA**

**Damir Dzhafarov**
University of Connecticut

**Abstract**

**March 12**:
**Set Theory Seminar**
**TBA**

**Hossein Lamei Ramandi**
Cornell University

**Abstract**

**March 16**:
**MOPA**
**TBA**

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

**Abstract**

**March 19**:
**Set Theory Seminar**
**Broad Infinity and Generation Principles**

**Paul Blain Levy**
University of Birmingham

**Abstract**

**March 26**:
**Set Theory Seminar**
**TBA**

**Carolin Antos**
University of Konstanz

**Abstract**

**March 30**:
**MOPA**
**TBA**

**Paola d’Aquino**
Università della Campania -“L. Vanvitelli”

**Abstract**

**April 6**:
**MOPA**
**TBA**

**Zachiri McKenzie**

**Abstract**

**April 13**:
**MOPA**
**TBA**

**Dave Marker**
University of Illinois at Chicago

**Abstract**

**April 16**:
**Set Theory Seminar**
**TBA**

**Andrés Villaveces**
CUNY

**Abstract**

**April 20**:
**MOPA**
**TBA**

**Andrés Cordón Franco**
Universidad de Sevilla

**Abstract**

**April 30**:
**Set Theory Seminar**
**TBA**

**Elliot Glazer**
Harvard University

**Abstract**

**May 7**:
**Set Theory Seminar**
**TBA**

**Benjamin Goodman**
CUNY

**Abstract**