A proof of vaught’s conjecture forω-stable theories
- 130 Downloads
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.
KeywordsPrime Model Finite Subset Countable Model ellA Isomorphic Copy
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- 2.H-M. L. Harrington and M. Makkai,An exposition of Shelah’s ‘Main Gap’: counting uncountable models of ω-stable and superstable theories, Notre Dame J. Formal Logic, to appear.Google Scholar
- 7.J. Saffe,On Vaught’s conjecture for superstable theories, to appear.Google Scholar
- 8.J. Saffe,Einige Ergebnisse uber die Auzahl abrahlbarer Modelle superstabiler Theorien, Dissertation, Universitat Hannover, 1981.Google Scholar
© Hebrew University 1984