The Karp complexity of unstable classes

M. C. Laskowski; S. Shelah

doi:10.1007/s001530000047

The Karp complexity of unstable classes

M. C. Laskowski^*
, S. Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

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.

Original language	English
Pages (from-to)	69-88
Number of pages	20
Journal	Archive for Mathematical Logic
Volume	40
Issue number	2
DOIs	https://doi.org/10.1007/s001530000047
State	Published - Feb 2001

Access to Document

10.1007/s001530000047

Cite this

@article{a03414e89970401fa0f5f1e4406533fb,

title = "The Karp complexity of unstable classes",

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.",

author = "Laskowski, \{M. C.\} and S. Shelah",

year = "2001",

month = feb,

doi = "10.1007/s001530000047",

language = "אנגלית",

volume = "40",

pages = "69--88",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "2",

}

TY - JOUR

T1 - The Karp complexity of unstable classes

AU - Laskowski, M. C.

AU - Shelah, S.

PY - 2001/2

Y1 - 2001/2

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0035580679

U2 - 10.1007/s001530000047

DO - 10.1007/s001530000047

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0035580679

SN - 0933-5846

VL - 40

SP - 69

EP - 88

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 2

ER -

The Karp complexity of unstable classes

Abstract

Access to Document

Other files and links

Fingerprint

Cite this