Categoricity for abstract classes with amalgamation

DOI10.1016/S0168-0072(98)00016-5zbMath0945.03049arXivmath/9809197OpenAlexW2594579174WikidataQ56689304 ScholiaQ56689304MaRDI QIDQ1302296

Saharon Shelah

Publication date: 8 October 2000

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

categoricityamalgamationabstract elementary classclassification theoryHanf number

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35)

Related Items

Shelah's eventual categoricity conjecture in universal classes. I. ⋮ \(\mu\)-abstract elementary classes and other generalizations ⋮ Canonical forking in AECs ⋮ The joint embedding property and maximal models ⋮ Infinitary stability theory ⋮ CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES ⋮ Categoricity, amalgamation, and tameness ⋮ Categoricity transfer in simple finitary abstract elementary classes ⋮ Building independence relations in abstract elementary classes ⋮ Superstability and symmetry ⋮ THE HANF NUMBER FOR AMALGAMATION OF COLORING CLASSES ⋮ Toward a stability theory of tame abstract elementary classes ⋮ Good frames in the Hart-Shelah example ⋮ ON CATEGORICITY IN SUCCESSIVE CARDINALS ⋮ Saturation and solvability in abstract elementary classes with amalgamation ⋮ Large cardinal axioms from tameness in AECs ⋮ A presentation theorem for continuous logic and metric abstract elementary classes ⋮ On the uniqueness property of forking in abstract elementary classes ⋮ STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING ⋮ Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes ⋮ Categoricity and universal classes ⋮ TAMENESS AND FRAMES REVISITED ⋮ EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES ⋮ A note on torsion modules with pure embeddings ⋮ Uncountable categoricity of local abstract elementary classes with amalgamation ⋮ Independence in finitary abstract elementary classes ⋮ Rank functions and partial stability spectra for tame abstract elementary classes ⋮ Superstability, Noetherian rings and pure-semisimple rings ⋮ A topology for galois types in abstract elementary classes ⋮ Forking independence from the categorical point of view ⋮ \(^{\perp}N\) as an abstract elementary class ⋮ Shelah's eventual categoricity conjecture in universal classes. II ⋮ Superstability from categoricity in abstract elementary classes ⋮ Chains of saturated models in AECs ⋮ Symmetry in abstract elementary classes with amalgamation ⋮ Forking in short and tame abstract elementary classes ⋮ Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models ⋮ Tameness and extending frames ⋮ POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES ⋮ Categoricity in abstract elementary classes with no maximal models ⋮ Categoricity of an abstract elementary class in two successive cardinals ⋮ Abstract elementary classes and infinitary logics ⋮ Downward categoricity from a successor inside a good frame ⋮ Symmetry and the union of saturated models in superstable abstract elementary classes ⋮ Compactness and Independence in Non First Order Frameworks ⋮ FORKING AND SUPERSTABILITY IN TAME AECS ⋮ Categoricity in homogeneous complete metric spaces ⋮ Tameness from two successive good frames ⋮ Uniqueness of limit models in classes with amalgamation ⋮ The amalgamation spectrum ⋮ On superstability in the class of flat modules and perfect rings ⋮ The categoricity spectrum of large abstract elementary classes ⋮ Algebraic description of limit models in classes of abelian groups ⋮ Uncountably categorical local tame abstract elementary classes with disjoint amalgamation ⋮ Hanf number of the first stability cardinal in AECs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
• A non structure theorem for an infinitary theory which has the unsuperstability property
• Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
• Model theory.
• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
• Classification theory and the number of non-isomorphic models
• Toward categoricity for classes with no maximal models
• Special subsets of \(^{\text{cf}(\mu)}\mu\), Boolean algebras and Maharam measure algebras
• Finite diagrams stable in power
• Categoricity of an abstract elementary class in two successive cardinals