Uniqueness of limit models in classes with amalgamation

DOI10.1002/MALQ.201500033MaRDI QIDQ2827950zbMATH OpenOpenAlexFDO

Authors Rami Grossberg, Monica VanDieren, Andrés Villaveces

Publication date 24 October 2016

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.02118

zbMATH Keywords

existence and uniquenesslimit modelsabstract elementary class (discrete version)

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)

Abstract: We prove: Main Theorem: Let $mathcalK$ be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality $mu$. Let $mu$ be a cardinal above the the L"owenheim-Skolem number of the class. If $mathcalK$ is $mu$-Galois-stable, has no $mu$-Vaughtian Pairs, does not have long splitting chains, and satisfies locality of splitting, then any two $(mu,sigm{a}_{e}ll)$-limits over $M$, for $ellin1,2$, are isomorphic over $M$. This theorem extends results of Shelah from cite{Sh394}, cite{Sh576}, cite{Sh600}, Kolman and Shelah in cite{KoSh} and Shelah and Villaveces from cite{ShVi}. A preliminary version of our uniqueness theorem, which was circulated in 2006, was used by Grossberg and VanDieren to prove a case of Shelah's categoricity conjecture for tame abstract elementary classes in cite{GrVa2}. Preprints of this paper have also influenced the Ph.D. theses of Drueck cite{Dr} and Zambrano cite{Za}. This paper also serves the expository role of presenting together the arguments in cite{Va1} and cite{Va2} in a more natural context in which the amalgamation property holds and this work provides an approach to the uniqueness of limit models that does not rely on Ehrenfeucht-Mostowski constructions.

Recommendations

• Categoricity in abstract elementary classes with no maximal models
• Saturation and solvability in abstract elementary classes with amalgamation
• scientific article; zbMATH DE number 2236685
• Limit models in metric abstract elementary classes: the categorical case
• Abstract elementary classes stable in \(\aleph_{0}\)

Cites work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• A neural theory of punishment and avoidance. I: Qualitative theory
• Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
• CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
• Categoricity for abstract classes with amalgamation
• Categoricity in abstract elementary classes with no maximal models
• Categoricity of an abstract elementary class in two successive cardinals
• Categoricity of theories in \(L_{\kappa^*,\omega}\), when \(\kappa^*\) is a measurable cardinal. II
• Erratum to: ``Categoricity in abstract elementary classes with no maximal models
• Finite diagrams stable in power
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Homogeneous Universal Relational Systems.
• Independence in finitary abstract elementary classes
• Limit models in metric abstract elementary classes: the categorical case
• Shelah's stability spectrum and homogeneity spectrum in finite diagrams
• Symmetry and the union of saturated models in superstable abstract elementary classes
• Toward categoricity for classes with no maximal models
• Upward categoricity from a successor cardinal for tame abstract classes with amalgamation

Cited in

(31)

• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Downward categoricity from a successor inside a good frame
• On superstability in the class of flat modules and perfect rings
• Categoricity and multidimensional diagrams
• Canonical forking in AECs
• Building independence relations in abstract elementary classes
• Chains of saturated models in AECs
• Building prime models in fully good abstract elementary classes
• The joint embedding property and maximal models
• On the uniqueness property of forking in abstract elementary classes
• Limit models in metric abstract elementary classes: the categorical case
• Forking in short and tame abstract elementary classes
• Symmetry in abstract elementary classes with amalgamation
• Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
• Tameness from two successive good frames
• Saturation and solvability in abstract elementary classes with amalgamation
• Abstract elementary classes stable in \(\aleph_{0}\)
• Superstability and symmetry
• Uncountable categoricity of local abstract elementary classes with amalgamation
• Uniqueness and disjointness of Klyachko models
• Superstability, Noetherian rings and pure-semisimple rings
• Good frames in the Hart-Shelah example
• Algebraic description of limit models in classes of abelian groups
• The categoricity spectrum of large abstract elementary classes
• Abstract classes with few models have ‘homogeneous-universal’ models
• Categoricity in abstract elementary classes with no maximal models
• Toward a stability theory of tame abstract elementary classes
• Limit models in strictly stable abstract elementary classes
• Shelah's eventual categoricity conjecture in universal classes. I.
• A stability transfer theorem in d-tame metric abstract elementary classes
• STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING

This page was built for publication: Uniqueness of limit models in classes with amalgamation

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