Non-forking frames in abstract elementary classes

DOI10.1016/J.APAL.2012.09.007zbMATH Open1315.03050arXiv0901.0852OpenAlexW2097921472MaRDI QIDQ1935861FDOQ1935861

Adi Jarden, S. Shelah

Publication date: 19 February 2013

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

Abstract: Let K be an abstract elementary class of models. Assume that there are less than the maximal number of models in K_{lambda^{+n}} (namely models in K of power lambda^{+n}) for all n. We provide conditions on K_lambda, that imply the existence of a model in K_{lambda^{+n}} for all n. We do this by providing sufficiently strong conditions on K_lambda, that they are inherited by a properly chosen subclass of K_{lambda^+}.

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

zbMATH Keywords

superstabilityuniversalitycategoricitysaturated modelGalois typesAEComega-stabilityalmost lambda-stability hypothesisnon-forking

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52)

Cited In (25)

• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Downward categoricity from a successor inside a good frame
• Categoricity and multidimensional diagrams
• Canonical forking in AECs
• Building independence relations in abstract elementary classes
• ALMOST GALOIS ω-STABLE CLASSES
• Tameness and extending frames
• Limit models in metric abstract elementary classes: the categorical case
• Forking independence from the categorical point of view
• Forking in short and tame abstract elementary classes
• Symmetry in abstract elementary classes with amalgamation
• Independence in Model Theory
• Tameness from two successive good frames
• TAMENESS AND FRAMES REVISITED
• Abstract elementary classes stable in \(\aleph_{0}\)
• Beyond abstract elementary classes: on the model theory of geometric lattices
• Tameness, uniqueness triples and amalgamation
• Good frames in the Hart-Shelah example
• Non-forking w-good frames
• Coxeter groups and abstract elementary classes: the right-angled case
• The categoricity spectrum of large abstract elementary classes
• Iterated elementary embeddings and the model theory of infinitary logic
• Forking and superstability in tame AECs
• Shelah's eventual categoricity conjecture in universal classes. I.
• UNIVERSAL CLASSES NEAR ${\aleph _1}$

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Independence in finitary abstract elementary classes 👍 👎
• Forking in short and tame abstract elementary classes 👍 👎
• Non-genericity phenomena in ordered Fraïssé classes 👍 👎
• Toward a stability theory of tame abstract elementary classes 👍 👎
• Forcing formulas in Fraïssé structures and classes 👍 👎
• On the uniqueness property of forking in abstract elementary classes 👍 👎

This page was built for publication: Non-forking frames in abstract elementary classes

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