Good frames in the Hart–Shelah example

Archive for Mathematical Logic 57 (5-6):687-712 (2018)
  Copy   BIBTEX

Abstract

For a fixed natural number \, the Hart–Shelah example is an abstract elementary class with amalgamation that is categorical exactly in the infinite cardinals less than or equal to \. 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 \-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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 79,898

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Non-forking frames in abstract elementary classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.
AMBOS-SPIES, K., LACHLAN, continuity of cupping to 0'.S. Shelah, C. Laflamme & B. Hart - 1993 - Annals of Pure and Applied Logic 64:293.
On some configurations related to the Shelah Weak Hypothesis.Moti Gitik & Saharon Shelah - 2001 - Archive for Mathematical Logic 40 (8):639-650.
Witnessing numbers of Shelah Cardinals.Toshio Suzuki - 1993 - Mathematical Logic Quarterly 39 (1):62-66.
Shelah's eventual categoricity conjecture in universal classes: Part I.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (9):1609-1642.
Naar aanleiding van 'A life of H.L.A. Hart'.M. Adams - 2005 - Netherlands Journal of Legal Philosophy 3:283-301.

Analytics

Added to PP
2017-11-22

Downloads
10 (#910,591)

6 months
1 (#479,521)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abstract elementary classes stable in ℵ0.Saharon Shelah & Sebastien Vasey - 2018 - Annals of Pure and Applied Logic 169 (7):565-587.
The Hart-Shelah example, in stronger logics.Saharon Shelah & Andrés Villaveces - 2021 - Annals of Pure and Applied Logic 172 (6):102958.

Add more citations

References found in this work

Categoricity for abstract classes with amalgamation.Saharon Shelah - 1999 - Annals of Pure and Applied Logic 98 (1-3):261-294.
Tameness from large cardinal axioms.Will Boney - 2014 - Journal of Symbolic Logic 79 (4):1092-1119.
Canonical forking in AECs.Will Boney, Rami Grossberg, Alexei Kolesnikov & Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (7):590-613.
Building independence relations in abstract elementary classes.Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (11):1029-1092.
Galois-stability for Tame abstract elementary classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Mathematical Logic 6 (01):25-48.

View all 18 references / Add more references