Logic

2025

Sep 26

Logic

Grothendieck groups and model theory

主讲人 : Tomasz Rzepecki (University of Wroclaw)

2025

Sep 19

Logic

Halpern-Lauchli theorem and matheatical induction

主讲人 : Yang Yue (National University of Singapore)

2025

Aug 01

Logic

On the limit theory of numerical semigroups with two generators

主讲人 : Alf Onshuus (Universidad de los Andes)

2025

Jun 05

Logic

Orthogonal types to the value group and descent

主讲人 : Mariana Vicaria (University of Münster)

2025

May 29

Logic

Externally definable fsg groups in NIP theories

主讲人 : Artem Chernikov (University of Maryland )

2025

May 08

Logic

Learning for algebraic structures

主讲人 : Nikolay Bazhenov (Sobolev Institute of Mathematics)

2025

Apr 24

Logic

Definable holomorphic continuations in two o-minimal structures

主讲人 : Adele Padgett (University of Vienna)

2025

Apr 17

Logic

Internality of autonomous differential equations.

主讲人 : Léo Jimenez (The Ohio State University)

2025

Apr 10

Logic

Hyperfiniteness of graphs of slow intermediate growth

主讲人 : Forte Shinko(University of California, Berkeley)

2025

Apr 03

Logic

Limits of sequences of finite structures in monadically stable theories

主讲人 : Sam Braunfeld(Charles University)