Categoricity in abstract elementary classes with no maximal models

Annals of Pure and Applied Logic 141 (1):108-147 (2006)
  Copy   BIBTEX

Abstract

The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assumption that the subclass of amalgamation bases is closed under unions of bounded, -increasing chains

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Toward categoricity for classes with no maximal models.Saharon Shelah & Andrés Villaveces - 1999 - Annals of Pure and Applied Logic 97 (1-3):1-25.
Elementary classes in basic modal logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.
Categoricity in homogeneous complete metric spaces.Åsa Hirvonen & Tapani Hyttinen - 2009 - Archive for Mathematical Logic 48 (3-4):269-322.

Analytics

Added to PP
2013-12-31

Downloads
19 (#775,535)

6 months
14 (#170,850)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Galois-stability for Tame abstract elementary classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Mathematical Logic 6 (01):25-48.
Shelah's eventual categoricity conjecture in universal classes: Part I.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (9):1609-1642.
Forking and superstability in Tame aecs.Sebastien Vasey - 2016 - Journal of Symbolic Logic 81 (1):357-383.
Building independence relations in abstract elementary classes.Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (11):1029-1092.
Canonical forking in AECs.Will Boney, Rami Grossberg, Alexei Kolesnikov & Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (7):590-613.

View all 32 citations / 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.
Toward categoricity for classes with no maximal models.Saharon Shelah & Andrés Villaveces - 1999 - Annals of Pure and Applied Logic 97 (1-3):1-25.
Higher Souslin trees and the generalized continuum hypothesis.John Gregory - 1976 - Journal of Symbolic Logic 41 (3):663-671.

View all 7 references / Add more references