Good frames in the Hart-Shelah example

DOI10.1007/S00153-017-0599-7zbMATH Open1496.03147OpenAlexW3101158486MaRDI QIDQ1661687FDOQ1661687

Authors Will Boney, Sebastien Vasey

Publication date 16 August 2018

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

abstract elementary classesgood framesuniqueness triplesHart-Shelah example

Mathematics Subject Classification ID

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

Abstract: For a fixed natural number $ngeq1$, the Hart-Shelah example is an abstract elementary class (AEC) with amalgamation that is categorical exactly in the infinite cardinals less than or equal to $alep{h}_n$. We investigate recently-isolated properties of AECs in the setting of this example. We isolate the exact amount of type-shortness holding in the example and show that it has a type-full good $alep{h}_{n-1}$-frame which fails the existence property for uniqueness triples. This gives the first example of such a frame. Along the way, we develop new tools to build and analyze good frames.

Recommendations

• Tameness, uniqueness triples and amalgamation
• Forking and superstability in tame AECs
• On absoluteness of categoricity in abstract elementary classes
• Tameness and extending frames
• Downward categoricity from a successor inside a good frame

Cites work

• Building independence relations in abstract elementary classes
• Canonical forking in AECs
• 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 over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)
• Categoricity, amalgamation, and tameness
• Chains of saturated models in AECs
• Classification theory for abstract elementary classes
• Classification theory for abstract elementary classes. Vol 2.
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Downward categoricity from a successor inside a good frame
• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• Forking and superstability in tame AECs
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Infinitary stability theory
• Non-forking frames in abstract elementary classes
• Quasiminimal abstract elementary classes
• Saturation and solvability in abstract elementary classes with amalgamation
• Superstability and symmetry
• Superstability from categoricity in abstract elementary classes
• Symmetry in abstract elementary classes with amalgamation
• Tameness and extending frames
• Tameness and frames revisited
• Tameness from large cardinal axioms
• Tameness, uniqueness triples and amalgamation
• Toward categoricity for classes with no maximal models
• Uniqueness of limit models in classes with amalgamation

Cited in

(6)

• Tameness from two successive good frames
• The Hart-Shelah example, in stronger logics
• Tameness and frames revisited
• Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes
• The categoricity spectrum of large abstract elementary classes
• Categoricity and multidimensional diagrams

This page was built for publication: Good frames in the Hart-Shelah example

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