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: 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: Model Theory Seminar
Asymptotic Classes of Finite Structures
Alexander Van Abel, CUNY
Abstract

May 10: Logic Workshop
Generic actions of groups on fields
Alice Medvedev, CUNY
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

May 17: Set Theory Seminar
Generalized Cohen Iterations
Jonas Reitz, CUNY
Abstract

May 20:
ASL 2019 Annual North American Meeting
The annual ASL 2019 North American Meeting will take place May 20-23 at the CUNY Graduate Center. Consult the website for more details.

May 28:
JAF 38
The Weak Arithmetic Days JAF 38 meeting will take place May 28-30 at the CUNY Graduate Center. Consult the website for more details.

June 21:
Model Theory and Mathematical Logic
Model Theory and Mathematical Logic is a conference in honor of Chris Laskowski's 60th birthday. It will take place June 21-23, 2019 at the University of Maryland, College Park.