Abstract: We prove that any tame abstract elementary class categorical in a suitable cardinal has an eventually global good frame: a forking-like notion defined on all types of single elements. This gives the first known general construction of a good frame in ZFC. We show that we already obtain a well-behaved independence relation assuming only a superstability-like hypothesis instead of categoricity. These methods are applied to obtain an upward stability transfer theorem from categoricity and tameness, as well as new conditions for uniqueness of limit models.
Recommendations
Cites work
- CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
- Categoricity
- Categoricity for abstract classes with amalgamation
- Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
- Categoricity in abstract elementary classes with no maximal models
- Categoricity of an abstract elementary class in two successive cardinals
- GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
- Non-forking frames in abstract elementary classes
- Tameness and extending frames
- Toward categoricity for classes with no maximal models
- Upward stability transfer for tame abstract elementary classes
Cited in
(31)- EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
- Downward categoricity from a successor inside a good frame
- Categoricity and multidimensional diagrams
- \(\mu\)-abstract elementary classes and other generalizations
- 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
- Tameness and extending frames
- On the uniqueness property of forking in abstract elementary classes
- Forking in short and tame abstract elementary classes
- Symmetry in abstract elementary classes with amalgamation
- Tameness from two successive good frames
- ON CATEGORICITY IN SUCCESSIVE CARDINALS
- Superstability from categoricity in abstract elementary classes
- Saturation and solvability in abstract elementary classes with amalgamation
- Superstability and symmetry
- Tameness, uniqueness triples and amalgamation
- Good frames in the Hart-Shelah example
- Non-forking w-good frames
- Algebraic description of limit models in classes of abelian groups
- The categoricity spectrum of large abstract elementary classes
- Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
- Tameness and frames revisited
- An NIP-like notion in abstract elementary classes
- A survey on tame abstract elementary classes
- 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.
- On the spectrum of limit models
- STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING
This page was built for publication: Forking and superstability in tame AECs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805041)