STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING

DOI10.1017/JSL.2023.57MaRDI QIDQ6123586zbMATH OpenOpenAlexFDO

Authors Samson Leung

Publication date 5 April 2024

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

abstract elementary classescontinuity of nonsplittinggood frameslimit modelssuperstability

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Set-theoretic model theory (03C55)

Abstract: Assuming the existence of a monster model, tameness and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $$ be a regular stability cardinal and let $chi$ be the local character of $mu$-nonsplitting. The following holds: 1. When $mu$-nonforking is restricted to $(mu,geqchi)$-limit models ordered by universal extensions, it enjoys invariance, monotonicity, uniqueness, existence, extension and continuity. It also has local character $chi$. This generalizes Vasey's result which assumed $mu$-superstability to obtain same properties but with local character $alep{h}_0$. 2. There is $lambdain[mu,h(mu))$ such that if $$ is stable in every cardinal between $mu$ and $lambda$, then $$ has $mu$-symmetry while $mu$-nonforking in (1) has symmetry. In this case (a) $$ has the uniqueness of $(mu,geqchi)$-limit models: if $M_1,M_2$ are both $(mu,geqchi)$-limit over some $M_{0}in{K}_{m}u$, then $M_{1}con{g}_{M_0}{M}_2$; (b) any increasing chain of $m{u}^{+}$-saturated models of length $geqchi$ has a $m{u}^{+}$-saturated union. These generalize VanDieren-Vasey's result and remove the symmetry assumption in Boney-VanDieren and Vasey's result. Under $(<mu)$-tameness, the conclusions of (1), (2)(a)(b) are equivalent to $$ having the $chi$-local character of $mu$-nonsplitting. Grossberg and Vasey gave eventual superstability criteria for tame AECs with a monster model. We remove the high cardinal threshold and reduce the cardinal jump between equivalent superstability criteria. We also add two new superstability criteria to the list: a weaker version of solvability and the boundedness of the $U$-rank.

Cites work

• \(\mu\)-abstract elementary classes and other generalizations
• Abstract elementary classes stable in \(\aleph_{0}\)
• Algebraic description of limit models in classes of abelian groups
• Axiomatizing AECs and applications
• Building independence relations in abstract elementary classes
• Canonical forking in AECs
• Categoricity
• Categoricity for abstract classes with amalgamation
• Categoricity in abstract elementary classes with no maximal models
• Chains of saturated models in AECs
• Classification theory for abstract elementary classes
• Computing the number of types of infinite length
• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Erratum to: ``Categoricity in abstract elementary classes with no maximal models
• Forking and superstability in tame AECs
• Forking in short and tame abstract elementary classes
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Hanf number of the first stability cardinal in AECs
• scientific article; zbMATH DE number 4041886 (Why is no real title available?)
• scientific article; zbMATH DE number 1827965 (Why is no real title available?)
• Infinitary stability theory
• On the uniqueness property of forking in abstract elementary classes
• Saturation and solvability in abstract elementary classes with amalgamation
• Simple-like independence relations in abstract elementary classes
• Superstability and symmetry
• Superstability from categoricity in abstract elementary classes
• Symmetry and the union of saturated models in superstable abstract elementary classes
• Symmetry in abstract elementary classes with amalgamation
• Tameness and extending frames
• Tameness and frames revisited
• Toward a stability theory of tame abstract elementary classes
• Toward categoricity for classes with no maximal models
• Uniqueness of limit models in classes with amalgamation
• Upward stability transfer for tame abstract elementary classes

Cited in

(3)

• On the spectrum of limit models
• On limit models and parametrized Noetherian rings
• An NIP-like notion in abstract elementary classes

This page was built for publication: STABILITY RESULTS ASSUMING TAMENESS, MONSTER MODEL, AND CONTINUITY OF NONSPLITTING

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