1. Home ›
  2. Graduate Student Logic Seminar

Graduate Student Logic Seminar

We generally meet at 5:30pm in Hurley 258 on Thursdays. Dinner after.

Be sure to ask a graduate student in logic to have you added to the email list if you are interested in attending.

Schedule

When?Who?What about?
TBDCheng LiaoLindstrom’s First Theorem

To see the abstracts of past talks (if there was one), hover over the text in the “What about?” column.

Previous Talks

Spring 2024

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

December 8th 2022David MeretzkyDefinable Galois cohomology
December 1st 2022Lorenzo RivaAn application of algebraic topology in logic (part the second) (Paper)
November 17th 2022Lorenzo RivaAn application of algebraic topology in logic (part the first) (Paper)
November 10th 2022Lorenzo RivaDivision by \(\mathbb Z\) (Paper)
October 27th 2022Annie HoldenBasse-Serre theory (Slides)
October 13th 2022Matt ScalamandreAmenable groups
October 6th 2022Yuanshan Li (Tom)Higman’s embedding theorem
(part the first?) (Paper)
September 22nd 2022Nicolás ChavarríaPontryagin duality and continuous logic
September 15th 2022Katie Ellman-AspnesBasic model-theoretic definitions
September 8th 2022Yuyan HeAn additive combinatorics result in groups (part the second)
September 1st 2022David MeretzkyAn additive combinatorics result in groups (part the first)
August 25th 2022David MeretzkyInfinite Ramsey theorem and indiscernible sequences

For more details, contact:

Gabriel Day ✉️ gday2 at nd dot edu

Yuyan He ✉️ yhe27 at nd dot edu

David Meretzky ✉️ dmeretz at nd dot edu