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 - http://www.scopus.com/inward/record.url?scp=0035580679&partnerID=8YFLogxK
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 -