Uniqueness of limit models in classes with amalgamation

DOI10.1002/MALQ.201500033zbMATH Open1367.03067arXiv1507.02118OpenAlexW2963976658MaRDI QIDQ2827950FDOQ2827950

Authors: Rami Grossberg, Monica VanDieren, Andrés Villaveces 

Publication date: 24 October 2016

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

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.

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

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}\)

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)

Cites Work

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

Cited In (31)

• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• On superstability in the class of flat modules and perfect rings
• Downward categoricity from a successor inside a good frame
• Categoricity and multidimensional diagrams
• Canonical forking in AECs
• Building independence relations in abstract elementary classes
• Building prime models in fully good abstract elementary classes
• Chains of saturated models in AECs
• 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}\)
• Uncountable categoricity of local abstract elementary classes with amalgamation
• Superstability and symmetry
• Superstability, Noetherian rings and pure-semisimple rings
• Uniqueness and disjointness of Klyachko models
• 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.
• STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING
• A stability transfer theorem in d-tame metric abstract elementary classes

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)