A proof of Vaught's conjecture for \(\omega\)-stable theories (Q1070222): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Michael Makkai / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Oleg V. Belegradek / rank | |||
Normal rank |
Revision as of 06:12, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A proof of Vaught's conjecture for \(\omega\)-stable theories |
scientific article |
Statements
A proof of Vaught's conjecture for \(\omega\)-stable theories (English)
0 references
1984
0 references
The famous Vaught's conjecture is the statement that for any countable theory T in \(L_{\omega_ 1\omega}\) the number of isomorphism types of countable models of T is either \(2^{\aleph_ 0}\) or at most \(\aleph_ 0\). The question is still open even for theories in finitary logic. In the paper under review Vaught's conjecture is proved for T a first-order countable complete \(\omega\)-stable theory. The results of the paper are due to Shelah.
0 references
omega-stable theory
0 references
countable theory
0 references
countable models
0 references