**Calendar**

**August 31**:
**Set Theory Seminar**
**What is the bounded forcing axiom for countably closed forcing?**

**Gunter Fuchs**,
CUNY

**Abstract**

**September 7**:
**Set Theory Seminar**
**How to obtain Woodin cardinals from the determinacy of long games**

**Sandra Müller**,
Kurt Gödel Research Center

**Abstract**

**September 14**:
**Set Theory Seminar**
**Seminar cancelled**

**September 21**:
**Logic Workshop**
**Model Theory And Machine Learning**

**James Freitag**,
University of Illinois-Chicago

**Abstract**

**September 21**:
**Set Theory Seminar**
**Seminar cancelled**

**September 25**:
**MOPA**
**Applications of $(\mathcal L, n)$ Models**

**Corey Switzer**,
CUNY

**Abstract**

**September 28**:
**Logic Workshop**
**The Hilbert's-Tenth-Problem Operator**

**Russell Miller**,
CUNY

**Abstract**

**September 28**:
**Set Theory Seminar**
**Models of SCFA Violating CH**

**Corey Switzer**,
CUNY

**Abstract**

**September 28**:
**Model Theory Seminar**
**Rigidity in the Ulam Sequence**

**Arseniy Sheydvasser**,
CUNY

**Abstract**

**October 5**:
**Logic Workshop**
**Primitive recursive structures and isomorphisms**

**Iskander Kalimullin**,
Kazan Federal University

**Abstract**

**October 5**:
**Set Theory Seminar**
**The Ramsey property, MAD families, and their multidimensional relatives**

**David Schrittesser**,
Kurt Gödel Research Center

**Abstract**

**October 9**:
**MOPA**
**Applications of $(\mathcal L, n)$ Models, Part II**

**Corey Switzer**,
CUNY

**Abstract**

**October 12**:
**Logic Workshop**
**Full Satisfaction**

**Roman Kossak**,
CUNY

**Abstract**

**October 12**:
**Set Theory Seminar**
**Surgery and generic coding**

**Miha Habič**,
Czech Technical University in Prague/Charles University

**Abstract**

**October 16**:
**MOPA**
**Kernels of digraphs and truth classes**

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

**Abstract**

**October 19**:
**Logic Workshop**
**Computational costs of reducing the uncountable to the finite/countable**

**Sam Sanders**,
TU Darmstadt/University of Leeds

**Abstract**

**October 19**:
**Set Theory Seminar**
**From zero to second-order arithmetic via metastability or uniformity**

**Sam Sanders**,
TU Darmstadt/University of Leeds

**Abstract**

**October 23**:
**MOPA**
**Nonstandard definability**

**Roman Kossak**,
CUNY

**Abstract**

**October 26**:
**Set Theory Seminar**
**Strongly tall cardinals**

**Gabriel Goldberg**,
Harvard University

**Abstract**

**October 26**:
**Logic Workshop**
**The Tree Reflection Principle**

**Zach Norwood**,
Cornell University

**Abstract**

**October 27**:
**Rutgers MAMLS 2018**

The annual Rutgers MAMLS meeting in set theory will take place October 27-28 at Rutgers University. Consult the website for more details.

**October 30**:
**MOPA**
**Quantifier elimination and some consequences for a countable model of Presburger arithmetic expanded by a modest automorphism**

**Simon Heller**,
CUNY

**Abstract**

**November 1**:
**Elementary Theory of Groups Conference**

Fairfield University and CUNY are going to be hosting a conference on November 1-2 titled The Elementary Theory of Groups and Group Rings and Related Topics. Many of the speakers are group theorists, but there will be several talks with a logical bent. You can see more information on their website.

**November 2**:
**Set Theory Seminar**
**Logic Workshop**
**Model Theory Seminar**
**Seminar cancelled**

MathFest conference at the Graduate Center.

**November 4**:
**NERDS Meeting**

The New England Recursion and Definability Seminar, fondly known as NERDS, will meet on Sunday, November 4, 2018 at Springfield College, in Springfield, MA. Full details will be available soon at nerds.math.uconn.edu. Some funding is available for graduate students traveling to NERDS; anyone interested should contact Russell Miller (see qcpages.qc.cuny.edu/~rmiller).

**November 9**:
**Set Theory Seminar**
**Seminar cancelled**

**November 9**:
**Logic Workshop**
**Some incomplete theories of modules**

**Philipp Rothmaler**,
CUNY

**Abstract**

**November 13**:
**MOPA**
**Quantifier elimination and some consequences for a countable model of Presburger arithmetic expanded by a modest automorphism**

**Simon Heller**,
CUNY

**Abstract**

**November 16**:
**Set Theory Seminar**
**Seminar cancelled**

**November 16**:
**Logic Workshop**
**Nonstandard analysis and new standard proof of the containers theorem**

**Henry Towsner**,
University of Pennsylvania

**Abstract**

**November 20**:
**MOPA**
**Truth Extensions and Disjunctive Correctness**

**Erez Shochat**,
Saint Francis College

**Abstract**

**November 27**:
**MOPA**
**Why PA?**

**Corey Switzer**,
CUNY

**Abstract**

**November 30**:
**Set Theory Seminar**
**Cute and Cuddly Topoi And The Models That Live In Them**

**Nate Ackerman**,
Harvard University

**Abstract**

**November 30**:
**Logic Workshop**
**Vaught's Conjecture For A Grothendieck Topos**

**Nate Ackerman**,
Harvard University

**Abstract**

**December 4**:
**MOPA**
**$\kappa$-like models**

**Whan Ki Lee**,
CUNY

**Abstract**

**December 7**:
**Logic Workshop**
**Towards a theory of Weyl Algebras**

**Hans Schoutens**,
CUNY

**Abstract**

**December 14**:
**Logic Workshop**
**A new proof of the Barwise extension theorem, without infinitary logic**

**Joel David Hamkins**,
Oxford University

**Abstract**

**December 14**:
**Set Theory Seminar**
**The stable core**

**Victoria Gitman**,
CUNY

**Abstract**