paper

Reconstruction of non--categorical theories

arXiv:2102.01973

Abstract

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