Logic

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)

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)