Journal of Symbolic Logic 70 (2):639 - 660 (2005)

This paper is devoted to the proof of the following upward categoricity theorem: Let K be a tame abstract elementary class with amalgamation, arbitrarily large models, and countable Löwenheim-Skolem number. If K is categorical in ‮א‬₁ then K is categorical in every uncountable cardinal. More generally, we prove that if K is categorical in a successor cardinal λ⁺ then K is categorical everywhere above λ⁺
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1120224733
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,232
Through your library

References found in this work BETA

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.
Finite Diagrams Stable in Power.Saharon Shelah - 1970 - Annals of Pure and Applied Logic 2 (1):69.
Amalgamation Properties and Finite Models in L N -Theories.John Baldwin & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (2):155-167.

Add more references

Citations of this work BETA

Tameness and Extending Frames.Will Boney - 2014 - Journal of Mathematical Logic 14 (2):1450007.

Add more citations

Similar books and articles

Rich Models.Michael H. Albert & Rami P. Grossberg - 1990 - Journal of Symbolic Logic 55 (3):1292-1298.
Notes on Quasiminimality and Excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.


Added to PP index

Total views
13 ( #681,075 of 2,329,903 )

Recent downloads (6 months)
8 ( #81,713 of 2,329,903 )

How can I increase my downloads?


My notes