Reconstruction of non-$\aleph_0$-categorical theories

Itaï Ben Yaacov (1, 2)

1 AGL - Algèbre, géométrie, logique
2 ICJ - Institut Camille Jordan

We generalise the correspondence between ℵ 0-categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (including, in particular, all ℵ 0-categorical ones) in continuous logic.

Keywords: complete theory; groupoid; reconstruction

Domains: Logic [math.LO]

Itaï Ben Yaacov. Reconstruction of non-$\aleph_0$-categorical theories. The Journal of Symbolic Logic, 2021, 87 (1), ⟨10.1017/jsl.2021.71⟩. ⟨hal-03128564v2⟩