Reconstruction of non-ℵ₀-categorical theories

2021/02/03 by Yaacov, Itaï Ben
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2102.01973

Abstract

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.

Related

• An aleph-zero-categorical theory which is not G-compact and does not have AZ-enumerations
• aleph₀-categorical Structures: Endomorphisms and Interpretations
• Borel completeness of some aleph₀ stable theories
• Completeness for monads and theories
• The Borel Complexity of Isomorphism for Complete Theories of Linear Orders With Unary Predicates