Logic

2026

Apr 23

Logic  |  Recent

Bauer-Poulsen dichotomies in logic and ergodic theory

Speaker(s): Tomas Ibarlucia (IMJ–PRG University Paris Cite)

2026

Apr 16

Logic

Generic automorphisms of valued fields

Speaker(s): Rosario Mennuni (Università degli Studi di Milano)

2026

Apr 09

Logic

Schröder-Bernstein property on metric theories.

Speaker(s): Nicolas Cuervo Ovalle (University de los Andes)

2026

Apr 02

Logic

Raising to powers on the unit circle

Speaker(s): Yilong Zhang (University of Bonn)

2026

Mar 26

Logic

New developments on algebraically bounded theories with generic derivations

Speaker(s): Elliot Kaplan (University of Mons)

2026

Mar 18

Logic

Sum product phenomenon via dimension

Speaker(s): Yuyan He (University of Notre Dame)

2026

Mar 11

Logic

Trace definability, constraint satisfaction problems, and the trivial theory

Speaker(s): Erik Walsberg (Universität Wien)

2026

Mar 05

Logic

The stable forking conjecture from the pregeometer's point of view

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