Toward categoricity for classes with no maximal models
From MaRDI portal
Publication:1302297
DOI10.1016/S0168-0072(98)00015-3zbMATH Open0945.03048arXivmath/9707227MaRDI QIDQ1302297FDOQ1302297
Authors: S. Shelah, Andrés Villaveces 
Publication date: 8 October 2000
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Abstract: We provide here the first steps toward Classification Theory of Abstract Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categorical in some lambda greater than its Lowenheim-Skolem number. We study the degree to which amalgamation may be recovered, the behaviour of non mu-splitting types. Most importantly, the existence of saturated models in a strong enough sense is proved, as a first step toward a complete solution to the Los Conjecture for these classes.
Full work available at URL: https://arxiv.org/abs/math/9707227
Recommendations
stabilityamalgamationabstract elementary classesclassification theorycategoricity spectrumsaturated models
Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35) Properties of classes of models (03C52)
Cites Work
- Title not available (Why is that?)
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Classification theory and the number of non-isomorphic models
- Toward categoricity for classes with no maximal models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Categoricity of an abstract elementary class in two successive cardinals
- Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
- Title not available (Why is that?)
- Proper and improper forcing.
- Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
Cited In (42)
- 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
- Upward categoricity from a successor cardinal for tame abstract classes with amalgamation
- Canonical forking in AECs
- Building independence relations in abstract elementary classes
- The amalgamation spectrum
- Shelah's categoricity conjecture from a successor for tame abstract elementary classes
- Tameness and extending frames
- Chains of saturated models in AECs
- On universal modules with pure embeddings
- 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
- Erratum to: ``Categoricity in abstract elementary classes with no maximal models
- Categoricity for abstract classes with amalgamation
- ON CATEGORICITY IN SUCCESSIVE CARDINALS
- Saturation and solvability in abstract elementary classes with amalgamation
- Toward categoricity for classes with no maximal models
- Shelah's eventual categoricity conjecture in universal classes. II
- Superstability from categoricity in abstract elementary classes
- Beginning of stability theory for Polish spaces
- Abstract elementary classes stable in \(\aleph_{0}\)
- Tameness from large cardinal axioms
- Superstability and symmetry
- Superstability, Noetherian rings and pure-semisimple rings
- Good frames in the Hart-Shelah example
- Algebraic description of limit models in classes of abelian groups
- Notes on Quasiminimality and Excellence
- The categoricity spectrum of large abstract elementary classes
- Symmetry and the union of saturated models in superstable abstract elementary classes
- Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
- Forking and superstability in tame AECs
- Categoricity in abstract elementary classes with no maximal models
- Uniqueness of limit models in classes with amalgamation
- Toward a stability theory of tame abstract elementary classes
- Limit models in strictly stable abstract elementary classes
- CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
- Shelah's eventual categoricity conjecture in universal classes. I.
- STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING
This page was built for publication: Toward categoricity for classes with no maximal models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1302297)
