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. 2020. ⟨hal-03128564v1⟩