Reconstruction of non-$\aleph_0$-categorical theories
Abstract
We generalise the correspondence between $\aleph 0$-categorical theories and their automorphism groups to arbitrary complete theories in classical logic, and to some theories (including, in particular, all $\aleph 0$-categorical ones) in continuous logic.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2021
- DOI:
- 10.48550/arXiv.2102.01973
- arXiv:
- arXiv:2102.01973
- Bibcode:
- 2021arXiv210201973B
- Keywords:
-
- Mathematics - Logic