Categoricity and Universal Classes

DOI10.1002/MALQ.201700076MaRDI QIDQ6295617arXivFDO

Authors Tapani Hyttinen, Kaisa Kangas

Publication date 22 December 2017

Published in arXiv

Full work available at URL https://doi.org/10.1002/MALQ.201700076

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52)

arXiv classification

math.LO

Abstract: Let $(mathcalK,subseteq)$ be a universal class with $LS(mathcalK)=lambda$ categorical in regular $kappa>lambd{a}^{+}$ with arbitrarily large models, and let $mathcal{K}^{\ast }$ be the class of all $mathcalAinmathcal{K}_{>lambda}$ for which there is $mathcalBinmathcal{K}_{gekappa}$ such that $mathcalAsubseteqmathcalB$. We prove that $mathcal{K}^{\ast }$ is categorical in every $xi>lambd{a}^{+}$, $$, and the models of $mathcal{K}_{>lambd{a}^{+}}^{\ast }$ are essentially vector spaces (or trivial i.e. disintegrated).

This page was built for publication: Categoricity and Universal Classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6295617)