The Karp complexity of unstable classes

&
Archive for Mathematical Logic 40 (2):69-88 (2001)
  Copy   BIBTEX

Abstract

A class K of structures is controlled if, for all cardinals λ, the relation of L ∞,λ-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that the class of doubly transitive linear orders is controlled, while any pseudo-elementary class with the ω-independence property is not controlled

Categories

Keywords

Reprint years

DOI

10.1007/s001530000047

Links

PhilArchive



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

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

Karp complexity and classes with the independence property.M. C. Laskowski & S. Shelah - 2003 - Annals of Pure and Applied Logic 120 (1-3):263-283.
Labelling classes by sets.M. Victoria Marshall & M. Gloria Schwarze - 2005 - Archive for Mathematical Logic 44 (2):219-226.
A borel reducibility theory for classes of countable structures.Harvey Friedman & Lee Stanley - 1989 - Journal of Symbolic Logic 54 (3):894-914.
Preventive War 'the Supreme Crime'.Noam Chomsky - unknown
Π⁰₁ classes with complex elements.Stephen Binns - 2008 - Journal of Symbolic Logic 73 (4):1341-1353.
Russell's paradox.Kevin C. Klement - 2001 - Internet Encyclopedia of Philosophy.
$\Pi _{1}^{0}$ Classes with Complex Elements.Stephen Binns - 2008 - Journal of Symbolic Logic 73 (4):1341 - 1353.
Dual easy uniformization and model-theoretic descriptive set theory.Shaughan Lavine - 1991 - Journal of Symbolic Logic 56 (4):1290-1316.
A Novel Interpretation of Plato’s Theory of Forms.P. X. Monaghan - 2010 - Metaphysica 11 (1):63-78.
On the expressibility hierarchy of Magidor-Malitz quantifiers.Matatyahu Rubin & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):542-557.
Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets.Shaughan Lavine - 1993 - Journal of Symbolic Logic 58 (1):81-98.
The isomorphism problem for classes of computable fields.Wesley Calvert - 2004 - Archive for Mathematical Logic 43 (3):327-336.
How Bad Is Rape?H. E. Baber - 1987 - Hypatia 2 (2):125-138.
On definability of the equality in classes of algebras with an equivalence relation.Pilar Dellunde I. Clavé - 2000 - Studia Logica 64 (3):345-353.

Analytics

Added to PP
2013-11-23

Downloads
25 (#627,007)

6 months
3 (#974,323)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Karp complexity and classes with the independence property.M. C. Laskowski & S. Shelah - 2003 - Annals of Pure and Applied Logic 120 (1-3):263-283.

Add more citations

References found in this work

Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Colouring and non-productivity of ℵ2-cc.Saharon Shelah - 1997 - Annals of Pure and Applied Logic 84 (2):153-174.

Add more references