๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Karp complexity and classes with the independence property

โœ Scribed by M.C. Laskowski; S. Shelah

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
216 KB
Volume
120
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

โœฆ Synopsis

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

๐Ÿ“œ SIMILAR VOLUMES

Classes of modules with the exchange pro
Classes of modules with the exchange property
โœ Birge Zimmermann-Huisgen; Wolfgang Zimmermann ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 909 KB
The enumerability and invariance of comp
The enumerability and invariance of complexity classes
โœ F.D. Lewis ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 772 KB

Several properties of complexity classes and sets associated with them are studied. An open problem, the enumerability of complexity classes, is settled by exhibition of a measure with some nonenumerable classes. Classes for natural measures are found to occupy the same isomorphism type; and a crite