Reconstruction of non-$\aleph_0$-categorical theories
Résumé
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.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Commentaire : Ce pdf est la version preprint de l'article (version soumise à l'éditeur, avant peer-reviewing)
Commentaire : Ce pdf est la version preprint de l'article (version soumise à l'éditeur, avant peer-reviewing)