Martin's conjecture for -stable theories

DOI10.1007/BF02760643MaRDI QIDQ1077407zbMATH OpenOpenAlexWikidataFDO

Authors E. Bouscaren

Publication date 1984

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02760643

zbMATH Keywords

categoricitycountable modelomega-stability

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Classification theory, stability, and related concepts in model theory (03C45)

Review text

Suppose T is a complete \(L_{\omega \omega}\)-theory with less than \(2^{\aleph_ 0}\) countable models. It is shown that the \(L_ 1(T)\)- theory of any countable model is \(\aleph_ 0\)-categorical, where \(L_ 1(T)\) denotes the smallest fragment of \(L_{\omega_ 1\omega}\) containing \(L_{\omega \omega}\) and for each \(n\in \omega\), all complete n-types of T. The proof uses the analysis of the models of such a theory given by \textit{S. Shelah}, \textit{L. Harrington}, and \textit{M. Makkai} [Isr. J. Math. 49, 269-280 (1984; Zbl 0584.03021)].

Recommendations

• On the strong Martin conjecture
• A remark on Martin's conjecture
• A proof of Vaught's conjecture for \(\omega\)-stable theories
• scientific article; zbMATH DE number 3896909
• Kueker's conjecture for stable theories

Cites work

• A proof of Vaught's conjecture for \(\omega\)-stable theories
• Countable models of nonmultidimensional ℵ₀-stable theories
• The number of countable models

Cited in

(7)

• On the categoricity theorem in \(L_{\omega _ 1\omega}\)
• Trivial pursuit: remarks on the main gap
• Why some people are excited by Vaught's conjecture
• On the strong Martin conjecture
• On Theories Having Three Countable Models
• Modules with few types over a commutative valuation ring
• When does _1-categoricity imply -stability?

This page was built for publication: Martin's conjecture for \(\omega\)-stable theories

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