Categoricity in multiuniversal classes

DOI10.1016/J.APAL.2019.06.001arXiv1804.09067WikidataQ127643681 ScholiaQ127643681MaRDI QIDQ6300749FDOQ6300749

Will Boney, Sebastien Vasey, Nathanael Ackerman

Publication date: 24 April 2018

Abstract: The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentially definable closure). Along the way, we prove in particular that Galois (orbital) types in multiuniversal classes are determined by their finite restrictions, generalizing a result of the second author.

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52) Set-theoretic model theory (03C55)

This page was built for publication: Categoricity in multiuniversal classes

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