Logic

2026

Nov 19

Logic  |  Upcoming

Induction principles and (recursive) saturation

Speaker(s): Jun Le Goh (National University of Singapore)

2026

Nov 17

Logic  |  Upcoming

Quantifier elimination, axiomatization, and dp-rank in pairs of ordered Abelian groups

Speaker(s): John Goodrick (Universidad de los Andes)

2026

Nov 12

Logic

Dependent dividing and sub-additivity of burden

Speaker(s): Yuki Takahashi (University of California, Berkeley)

2026

Nov 05

Logic

Model Theory and Lotka–Volterra Systems

Speaker(s): Yutong Duan (University of Waterloo)

2026

Oct 29

Logic

A hierarchy of expressive power for "automatic" expansions of the reals.

Speaker(s): Alexi Block-Gorman (University of Amsterdam)

2026

Oct 22

Logic

Absolute differential Galois groups

Speaker(s): David Meretzky (Universidad de Los Andes)

2026

Oct 15

Logic

N-variable theorem and its applications to preservation problems

Speaker(s): Joonhee Kim (Korea Institute forAdvanced Study)

2026

Oct 15

Logic

Distinguished substructures of stable fields

Speaker(s): Yvon Bossut (Changwon National University)

2026

Sep 30

Logic

The stable forking conjecture, part II: Understanding the AI counterexample

Speaker(s): Scott Mutchnik (University of Illinois Chicago)

2026

Sep 24

Logic

There need not be an explicit saturated model of PA

Speaker(s): Elliot Glazer (Principia Labs)