Classification theory through stationary logic

Annals of Pure and Applied Logic 102 (1-2):27-68 (2000)
  Copy   BIBTEX

Abstract

We relate the classifiability of a complete finitary first-order theory in the sense of S. SHELAH to the determinacy of the class of -saturated models in the sense of stationary logic

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(99)00019-6

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

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

Through your library

My notes

Similar books and articles

More on SOP 1 and SOP 2.Saharon Shelah & Alexander Usvyatsov - 2008 - Annals of Pure and Applied Logic 155 (1):16-31.
Local saturation of the non-stationary ideal over Pκλ.Toshimichi Usuba - 2007 - Annals of Pure and Applied Logic 149 (1-3):100-123.
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.
Suslin's hypothesis does not imply stationary antichains.Chaz Schlindwein - 1993 - Annals of Pure and Applied Logic 64 (2):153-167.
Stationary logic of ordinals.Alan H. Mekler - 1984 - Annals of Pure and Applied Logic 26 (1):47-68.
Canonical structure in the universe of set theory: Part two.James Cummings, Matthew Foreman & Menachem Magidor - 2006 - Annals of Pure and Applied Logic 142 (1):55-75.
A cut elimination theorem for stationary logic.M. E. Szabo - 1987 - Annals of Pure and Applied Logic 33 (C):181-193.
Unidimensional theories are superstable.Ehud Hrushovski - 1990 - Annals of Pure and Applied Logic 50 (2):117-138.
Unidimensional theories are superstable.Katsuya Eda - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.

Analytics

Added to PP
2014-01-16

Downloads
28 (#805,576)

6 months
9 (#502,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
Countable approximations and Löwenheim-Skolem theorems.David W. Kueker - 1977 - Annals of Mathematical Logic 11 (1):57.
Number of strongly ℵε-saturated models—an addition.Saharon Shelah - 1988 - Annals of Pure and Applied Logic 40 (1):89-91.

View all 7 references / Add more references