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.