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 26th | Katie Ellman-Aspnes | Characterizing 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 26th | Katie Ellman-Aspnes | Characterizing NSOP4 (An axiomatic approach to free amalgamation) (Conant independence and generalized free amalgamation) |
October 5th | Yuyan He | Proving \(\mathfrak{p}=\mathfrak{t}\) (part the second)(masters thesis) |
September 28th | Yuanshan Li (Tom) | Proving \(\mathfrak{p}=\mathfrak{t}\) (part the first)(masters thesis) |
September 14th | Gabriel Day | Introduction to indiscernibles |
Spring 2023
When? | Who? | What about? |
April 20th | Matthew Scalamandre | Word problems and geometry |
April 6th | Yuyan He | Harrington’s proof of the Halpern–Läuchli theorem |
March 9th | David Meretzky | Finiteness theorems for differential Galois cohomology |
March 2nd | Atticus Stonestrom | Some model theory of Skolem arithmetic (part the first) (Paper) |
February 23rd | Gabriel Day | Saturation and \(\phi\)-types (Paper) |
February 2nd | Nicolás Chavarría | Stable regularity |
January 27th | Gabriel Day | Keisler’s order |
Fall 2022
December 8th 2022 | David Meretzky | Definable Galois cohomology |
December 1st 2022 | Lorenzo Riva | An application of algebraic topology in logic (part the second) (Paper) |
November 17th 2022 | Lorenzo Riva | An application of algebraic topology in logic (part the first) (Paper) |
November 10th 2022 | Lorenzo Riva | Division by \(\mathbb Z\) (Paper) |
October 27th 2022 | Annie Holden | Basse-Serre theory (Slides) |
October 13th 2022 | Matt Scalamandre | Amenable groups |
October 6th 2022 | Yuanshan Li (Tom) | Higman’s embedding theorem (part the first?) (Paper) |
September 22nd 2022 | Nicolás Chavarría | Pontryagin duality and continuous logic |
September 15th 2022 | Katie Ellman-Aspnes | Basic model-theoretic definitions |
September 8th 2022 | Yuyan He | An additive combinatorics result in groups (part the second) |
September 1st 2022 | David Meretzky | An additive combinatorics result in groups (part the first) |
August 25th 2022 | David Meretzky | Infinite 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