1. Home ›
  2. Graduate Student Logic Seminar

Graduate Student Logic Seminar

This semester we will meet from 5:15pm-6:15pm in Hurley room 258 on Thursdays. We will have dinner after the seminar.

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?
September 29th–Organizational Meeting

Previous Talks

Fall 2024

When?Who?What about?

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:

Tan Özalp ✉️ aozalp at nd dot edu

Gabriel Day ✉️ gday2 at nd dot edu

Yuyan He ✉️ yhe27 at nd dot edu

David Meretzky ✉️ dmeretz at nd dot edu