Good frames in the Hart-Shelah example

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

Authors: Will Boney, Sebastien Vasey 

Publication date: 16 August 2018

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

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.

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

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

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)

Cites Work

• Categoricity for abstract classes with amalgamation
• Classification theory for abstract elementary classes. Vol 2.
• Canonical forking in AECs
• Forking and superstability in tame AECs
• Infinitary stability theory
• Building independence relations in abstract elementary classes
• Categoricity
• Classification theory for abstract elementary classes
• EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
• TAMENESS FROM LARGE CARDINAL AXIOMS
• Chains of saturated models in AECs
• GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
• Toward categoricity for classes with no maximal models
• Non-forking frames in abstract elementary classes
• Categoricity in abstract elementary classes with no maximal models
• Uniqueness of limit models in classes with amalgamation
• Tameness and extending frames
• Symmetry in abstract elementary classes with amalgamation
• 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
• Superstability from categoricity in abstract elementary classes
• TAMENESS AND FRAMES REVISITED
• Tameness, uniqueness triples and amalgamation
• Superstability and symmetry
• Saturation and solvability in abstract elementary classes with amalgamation
• Downward categoricity from a successor inside a good frame
• Quasiminimal abstract elementary classes

Cited In (6)

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

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)