pith. sign in

arxiv: math/0303345 · v1 · submitted 2003-03-27 · 🧮 math.LO

Karp complexity and classes with the independence property

classification 🧮 math.LO
keywords classcontrolledpropertyclassesequivalenceindependencelambdapseudo-elementary
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.