Categoricity and multidimensional diagrams

arXiv1805.06291MaRDI QIDQ6301645FDOQ6301645

Publication date: 16 May 2018

Abstract: We study multidimensional diagrams in independent amalgamation in the framework of abstract elementary classes (AECs). We use them to prove the eventual categoricity conjecture for AECs, assuming a large cardinal axiom. More precisely, we show assuming the existence of a proper class of strongly compact cardinals that an AEC which has a single model of some high-enough cardinality will have a single model in any high-enough cardinal. Assuming a weak version of the generalized continuum hypothesis, we also establish the eventual categoricity conjecture for AECs with amalgamation.

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Other combinatorial set theory (03E05) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52) Set-theoretic model theory (03C55) Other infinitary logic (03C75) Large cardinals (03E55)

This page was built for publication: Categoricity and multidimensional diagrams

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