论文信息 - A proof of vaught’s conjecture forω-stable theories - 字舞流文

A proof of vaught’s conjecture forω-stable theories

In this paper it is proved that ifT is a countable completeω-stable theory in ordinary logic, thenT has either continuum many, or at most countably many, non-isomorphic countable models.

Saharon Shelah | Michael Makkai | L. Harrington

[1] Jürgen Saffe. Einige Ergebnisse über die Anzahl abzählbarer Modelle superstabiler Theorien , 1981 .

[2] Daniel Lascar. Les modèles dénombrables d’une théorie ayant des fonctions de Skolem , 1981 .

[3] Elisabeth Bouscaren. Countable Models of Multidimensional 0-Stable Theories , 1983, J. Symb. Log..

[4] M. Makkai. A survey of basic stability theory, with particular emphasis on orthogonality and regular types , 1984 .

[5] Michael D. Morley. The Number of Countable Models , 1970, J. Symb. Log..

[6] Elisabeth Bouscaren. Countable models of multidimensional ℵ 0 -stable theories , 1983 .

[7] Leo Harrington,et al. An exposition of Shelah's "main gap": counting uncountable models of ω-stable and superstable theories , 1985, Notre Dame J. Formal Log..