Reconstruction of non-$\aleph_0$-categorical theories
Yaacov, Itaï Ben
Abstract
Yaacov, Itaï Ben
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.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Aleph, Categorical variable, Mathematics, Algebra over a field, Automorphism, Calculus (dental), Pure mathematics, Philosophy