An unclassifiable unidimensional theory without OTOP

DOI10.1305/NDJFL/1039700699zbMath0891.03011OpenAlexW2023048155MaRDI QIDQ1377557

Bradd Hart, Ambar Chowdhury

Publication date: 28 June 1998

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039700699

zbMATH Keywords

classification theoryunidimensional theoryOmitting Types Order Propertyprime models over pairs

Mathematics Subject Classification ID

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

Cites Work

• Set theory. An introduction to independence proofs
• Classification theory and the number of non-isomorphic models.
• A combinatorial problem; stability and order for models and theories in infinitary languages
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B

This page was built for publication: An unclassifiable unidimensional theory without OTOP