Author:
Baldwin J. T.,Lachlan A. H.
Abstract
The purpose of this paper is twofold. In §1 and §2 which are largely expository we develop the known theory of ℵ1-categoricity in terms of strongly minimal sets. In §3 we settle affirmatively Vaught's conjecture that a complete ℵ1-categorical theory has either just one or just ℵ0 countable models, and in §4 we present an example which serves to illustrate the ideas of §3.As far as we know the only work published on strongly minimal sets is that of Marsh [3]. The present exposition goes beyond [3] in showing that any ℵ-categorical theory has a principal extension in which some formula is strongly minimal.
Publisher
Cambridge University Press (CUP)
Reference9 articles.
1. Ultraproducts which are not saturated;Keisler;this Journal,1967
2. Park D. M. R. , Set theoretic constructions in model theory, Doctoral Dissertation, Massachusetts Institute of Technology, 1964.
3. Countable models of ℵ1-categorical theories
4. Some model theoretic results for θ-logic
Cited by
184 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献