Logic

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)

2025

Dec 19

Logic

Some properties of classes of models and sets of elementary types.

主讲人 : M.I. Bekenov and A. Mamyraly(L.N. Gumilyov Eurasian National University)

2025

Dec 19

Logic

Direct Products, Ultraproducts, and Model-Theoretic Properties of Abelian Groups

主讲人 : Fazyl Zhebey(L.N. Gumilyov Eurasian National University)

2025

Nov 07

Logic

An Infinite Lone Wolf Theorem

主讲人 : Haosui Duanmu(Harbin Institute of Technology)

2025

Oct 24

Logic

Asymptotic dimension and descriptive set theory

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

2025

Oct 16

Logic

Around Vaught’s conjecture for weakly o-minimal theories

主讲人 : Slavko Moconja(University of Belgrade)

2025

Oct 10

Logic

Results on colored tree properties

主讲人 : Gabriel Day (University of Notre Dame)

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)