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. Most weeks, we will 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.

Upcoming Talks

Fall 2025

When?Who?What about?
September 18thYuyan He
September 25thTan Özalp
October 2ndTan Özalp
October 9th
October 16th
October 30th
November 6th
November 13th
November 20th
December 4th

Previous Talks

Fall 2025

When?Who?What about?
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