Graduate Student Logic Seminar

We will meet this week October 26th at 5:30pm in Hurley 258. 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

Fall 2023

When?Who?What about?
October 26thKatie Ellman-AspnesCharacterizing NSOP4 (An axiomatic approach to free amalgamation) (Conant independence and generalized free amalgamation)

Abstract:

Characterizing NSOP4: This talk will discuss recent analysis of the class of NSOP4 theories and attempts to construct an analogous independence criterion to forking in simple theories and Kim-forking in NSOP1. I will primarily focus on the notion of free amalgamation relations from [1] and the expansion of those ideas to generalized freedom in [2].

[1] An axiomatic approach to free amalgamation – Conant 2016

[2] Conant independence and generalized free amalgamation – Mutchnik 2022

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

Previous Talks

Fall 2023

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