Logic

2026

Oct 15

Logic  |  Recent

N-variable theorem and its applications to preservation problems

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

2026

Oct 15

Logic  |  Recent

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)

2026

Sep 17

Logic

Existential NIP formulas in valued fields of positive characteristic

Speaker(s): Paulo Moreno (Université Paris Cité)

2026

Sep 10

Logic

Quantitative analytic stable regularity

Speaker(s): Gabriel Conant (University of Illinois Chicago)

2026

Jun 11

Logic

Coloring in graphs definable in a pure set

Speaker(s): Sam Braunfeld (Czech Academy of Science)

2026

May 28

Logic

Definable sets in locally convexly orderable structures

Speaker(s): Jacob Stern (CUNY)

2026

May 20

Logic

Productsets via model theory

Speaker(s): Amador Martin-Pizarro (Universität Freiburg)

2026

May 14

Logic

Nonstandard analysis and statistical decision theory

Speaker(s): David Schrittesser (Harbin Institute of Technology)