Logic

2026

Apr 16

Logic

Generic automorphisms of valued fields

主讲人 : Rosario Mennuni (Università degli Studi di Milano)

2026

Apr 09

Logic

Schröder-Bernstein property on metric theories.

主讲人 : Nicolas Cuervo Ovalle (University de los Andes)

2026

Apr 02

Logic

Raising to powers on the unit circle

主讲人 : Yilong Zhang (University of Bonn)

2026

Mar 26

Logic

New developments on algebraically bounded theories with generic derivations

主讲人 : Elliot Kaplan (University of Mons)

2026

Mar 18

Logic

Sum product phenomenon via dimension

主讲人 : Yuyan He (University of Notre Dame)

2026

Mar 11

Logic

Trace definability, constraint satisfaction problems, and the trivial theory

主讲人 : Erik Walsberg (Universität Wien)

2026

Mar 05

Logic

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

主讲人 : Scott Mutchnik (University of Illinois - Chicago)