1. Home ›
  2. Graduate Student Logic Seminar

Graduate Student Logic Seminar

This seminar meets from 5:15pm-6:15pm in 258 Hurley Hall on Thursdays. We will usually go out to dinner after the seminar.

If you would like to receive updates about this seminar, contact Gavin Dooley (gdooley2@nd.edu) or Tan Özalp (aozalp@nd.edu) to be added to the mailing list.

Previous Talks

Spring 2026

When?Who?What about?
April 23rdAkash NarayananThe Banach-Tarski paradox and amenability
April 16thGavin DooleyHow many clouds cover the plane?
April 9thJane KwakTwo cardinal properties of homogeneous graphs
March 26thJenny XuAnother tree topological Ramsey space
March 19thGabriel DayDefining model theoretic properties with posets and straight definition
March 5thHenry Crampton-HaysConstructing cardinals from below
February 26thTan ÖzalpCichoń’s diagram (Part 2)
February 19thTan ÖzalpCichoń’s diagram (Part 1)
February 12thDominic ScarcelliGalvin’s conjecture in higher dimensions
February 5thYuyan HeStating the hypergraph regularity lemma
January 29thGavin DooleyInitial segments of the Turing degrees
January 22ndSulin HuNTP₂ implies chain condition

Fall 2025

When?Who?What about?
December 4thTom LiMerely finitely additive measures
November 20thJenny XuA4 for Carlson-Simpson space
November 13thGavin DooleyThe reverse and computable mathematics of structural Ramsey theory
November 6thChris PangCategoricity of classical propositional logic
October 30thDominic ScarcelliSemigroup colorings and the Hales-Jewett theorem
October 16thGabriel DayColored TP₁ and TP₂
October 9thHenry Crampton-HaysThe Ultrapower Axiom
October 2ndTan ÖzalpShelah’s proof that Keisler’s isomorphism theorem may consistently fail
September 25thTan ÖzalpProper forcing and iterated forcing
September 18thYuyan HeType counting in NIP₂ and a fun combinatorial argument
September 11thWilliam BallAn introduction to type theory and proof assistants
September 4thGavin DooleyModel theory and machine learning

Spring 2025

When?Who?What about?
April 10thDaniel ShinAx-Schanuel for principal G-bundles
April 3rdHenry Crampton-HaysInner model theory
March 27thTan ÖzalpPeople’s choice
March 20thJenny XuThe Galvin-Glazer method and left variable Hales-Jewett
March 6thYuyan HeIntroduction to higher NIP
February 27thTan ÖzalpPeople’s choice
February 20thAtticus StonestromNIP groups
February 13thAndy YangFormal languages and transformers: The case of the star-free languages
February 6thGavin DooleyFormal languages and transformers: An introduction
January 30thDavid MeretzkyPicard-Vessiot theory with new algebraic constants (Part 2)
January 23rdGabriel DayWhy the tree property can’t be characterized by an indiscernible collapse

Fall 2024

When?Who?What about?
December 12thDaniel ShinIntroduction to Ax-Schanuel (Part 2)
December 5thDaniel ShinIntroduction to Ax-Schanuel (Part 1)
November 21stGabriel DayCharacterizing stability with colored trees
November 14thDavid MeretzkyPicard-Vessiot theory with new algebraic constants (Part 1)
October 31stAtticus StonestromIntroduction to Keisler’s measures
October 17thYuyan HeThe chain condition is a chain condition
October 10thAlberto Miguel-GómezStay positive! (Part 2)
September 26thAlberto Miguel-GómezStay positive! (Part 1)
September 19thTan ÖzalpTukey minimality of Ramsey ultrafilters (Part 2)
September 12thTan ÖzalpTukey minimality of Ramsey ultrafilters (Part 1)
September 5thGavin DooleyIntroduction to reverse mathematics

Spring 2024

When?Who?What about?
April 25thCheng LiaoLindstrom’s First Theorem
March 28thAtticus StonestromSome Facts about NIP Theories
March 21stTan ÖzalpA Game Characterization of the RK-order on Ultrafilters
February 22ndSulin HuThe projective Fraïssé limit (Part 2)
February 15thSulin HuThe projective Fraïssé limit
February 1stDavid MeretzkyTotally Categorical Theories

Fall 2023

When?Who?What about?
December 7thKatie Ellman-AspnesCharacterizing NSOP4 (Part 2)
November 15thDavid MeretzkyDifferential Galois theory
November 2ndDaniel ShinA Gentle Introduction to Models of Arithmetic
October 26thKatie Ellman-AspnesCharacterizing NSOP4 (An axiomatic approach to free amalgamation) (Conant independence and generalized free amalgamation)
October 5th Yuyan HeProving \(\mathfrak{p}=\mathfrak{t}\) (part the second)(masters thesis)
September 28thYuanshan Li (Tom)Proving \(\mathfrak{p}=\mathfrak{t}\) (part the first)(masters thesis)
September 14thGabriel DayIntroduction to indiscernibles

Spring 2023

When?Who?What about?
April 20thMatthew ScalamandreWord problems and geometry
April 6thYuyan HeHarrington’s proof of the Halpern–Läuchli theorem
March 9thDavid MeretzkyFiniteness theorems for differential Galois cohomology
March 2ndAtticus StonestromSome model theory of Skolem arithmetic (part the first) (Paper)
February 23rdGabriel DaySaturation and \(\phi\)-types (Paper)
February 2ndNicolás ChavarríaStable regularity
January 27thGabriel DayKeisler’s order

Fall 2022

When?Who?What about?
December 8thDavid MeretzkyDefinable Galois cohomology
December 1stLorenzo RivaAn application of algebraic topology in logic (part the second) (Paper)
November 17thLorenzo RivaAn application of algebraic topology in logic (part the first) (Paper)
November 10thLorenzo RivaDivision by \(\mathbb Z\) (Paper)
October 27thAnnie HoldenBasse-Serre theory (Slides)
October 13thMatt ScalamandreAmenable groups
October 6thYuanshan Li (Tom)Higman’s embedding theorem
(part the first?) (Paper)
September 22ndNicolás ChavarríaPontryagin duality and continuous logic
September 15thKatie Ellman-AspnesBasic model-theoretic definitions
September 8thYuyan HeAn additive combinatorics result in groups (part the second)
September 1stDavid MeretzkyAn additive combinatorics result in groups (part the first)
August 25thDavid MeretzkyInfinite Ramsey theorem and indiscernible sequences

For more details, contact:

Gavin Dooley ✉️ gdooley2 at nd dot edu

Tan Özalp ✉️ aozalp at nd dot edu