Karp complexity and classes with the independence property

M. C. Laskowski; S. Shelah

doi:10.1016/S0168-0072(02)00080-5

Karp complexity and classes with the independence property

M. C. Laskowski^*
, S. Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

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

7 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 no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementary class with the strict order property that is controlled (see Arch. Math. Logic 40 (2001) 69-88).

Original language	English
Pages (from-to)	263-283
Number of pages	21
Journal	Annals of Pure and Applied Logic
Volume	120
Issue number	1-3
DOIs	https://doi.org/10.1016/S0168-0072(02)00080-5
State	Published - 15 Apr 2003

Keywords

Coding graphs
Independence property
Non-structure theorems

Access to Document

10.1016/S0168-0072(02)00080-5

Cite this

@article{0c6f10e8086b4dfb9cb73e4a310ad1a0,

title = "Karp complexity and classes with the independence property",

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 no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementary class with the strict order property that is controlled (see Arch. Math. Logic 40 (2001) 69-88).",

keywords = "Coding graphs, Independence property, Non-structure theorems",

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

year = "2003",

month = apr,

day = "15",

doi = "10.1016/S0168-0072(02)00080-5",

language = "אנגלית",

volume = "120",

pages = "263--283",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier BV",

number = "1-3",

}

TY - JOUR

T1 - Karp complexity and classes with the independence property

AU - Laskowski, M. C.

AU - Shelah, S.

PY - 2003/4/15

Y1 - 2003/4/15

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 no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementary class with the strict order property that is controlled (see Arch. Math. Logic 40 (2001) 69-88).

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 no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementary class with the strict order property that is controlled (see Arch. Math. Logic 40 (2001) 69-88).

KW - Coding graphs

KW - Independence property

KW - Non-structure theorems

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

U2 - 10.1016/S0168-0072(02)00080-5

DO - 10.1016/S0168-0072(02)00080-5

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

AN - SCOPUS:0037445579

SN - 0168-0072

VL - 120

SP - 263

EP - 283

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1-3

ER -

Karp complexity and classes with the independence property

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this