pith. sign in

arxiv: math/0011167 · v1 · submitted 2000-11-21 · 🧮 math.LO

The Karp complexity of unstable classes

classification 🧮 math.LO
keywords classcontrolledclassesequivalencelambdacardinalscomplexitydoubly
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 the class of doubly transitive linear orders is controlled, while any pseudo-elementary class with the omega-independence property is not 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.