Karp complexity and classes with the independence property
Abstract
A class K of structures is controlled if for all cardinals lambda, the relation of L_{infty,lambda}-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.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- March 2003
- DOI:
- 10.48550/arXiv.math/0303345
- arXiv:
- arXiv:math/0303345
- Bibcode:
- 2003math......3345L
- Keywords:
-
- Logic
- E-Print:
- Annals of Pure and Applied Logic, 120 (2003), 263-283