Categoricity and Universal Classes
Logic
2018-01-10 v2
Abstract
Let be a universal class with categorical in regular with arbitrarily large models, and let be the class of all for which there is such that . We prove that is categorical in every , , and the models of are essentially vector spaces (or trivial i.e. disintegrated).
Keywords
Cite
@article{arxiv.1712.08532,
title = {Categoricity and Universal Classes},
author = {Tapani Hyttinen and Kaisa Kangas},
journal= {arXiv preprint arXiv:1712.08532},
year = {2018}
}