Categoricity and multidimensional diagrams
From MaRDI portal
Publication:6301645
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)
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.
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)
