Others

2024

Apr 15

Others

Newelski's question on definably amenable groups over $p$-adics

主讲人 : Zhentao Zhang(Fudan University)

2024

Apr 08

Others

A theory which *really* doesn't have a computable model

主讲人 : Patrick Lutz (UC Berkeley)

2024

Apr 01

Others

Model theoretic version of Szemerédi's regularity lemma

主讲人 : Hu Yuqi (Tsinghua University)

2024

Mar 25

Others

Model theory of random variables

主讲人 : Shichang Song (Beijing Jiaotong University)

2024

Mar 18

Others

First-order sentences in random groups

主讲人 : Rizos Sklinos(AMSS, CAS)

2024

Mar 11

Others

Effective Definability of Kolchin Polynomials

主讲人 : Wei Li(AMSS,CAS)

2024

Mar 04

Others

Model Theoretic Events

主讲人 : Kyle Gannon(Peking University)

2024

Jan 09

Others

Causal inference in network experiments: regression-based analysis and design-based properties

主讲人 : Peng Ding( UC Berkeley)

2023

Dec 05

Others

How to Publish an Academic Book

主讲人 : Daniel Wang (Springer)

2023

Nov 17

Others

非有序性的自动定理证明

主讲人 : 聂子佩（华为）