The Karp complexity of unstable classes

DOI10.1007/S001530000047MaRDI QIDQ5931214zbMATH OpenOpenAlexFDO

Authors M. C. Laskowski, S. Shelah

Publication date 30 July 2003

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0011167

zbMATH Keywords

\(\omega\)-independence propertycontrolled classes of structuresdoubly transitive linear ordersequivalence classesKarp complexitypseudo-elementary classunstable classes of structures

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

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.

Recommendations

• Karp complexity and classes with the independence property
• Uncountable structures are not classifiable up to bi-embeddability
• Keisler's order has infinitely many classes
• Toward classifying unstable theories
• On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A

Cited in

(4)

• Karp complexity and classes with the independence property
• Untestable Properties in the Kahr-Moore-Wang Class
• A trichotomy of countable, stable, unsuperstable theories
• Unsolvability Cores in Classification Problems

This page was built for publication: The Karp complexity of unstable classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5931214)