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