On strongly minimal sets
- 12 March 1971
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 36 (1) , 79-96
- https://doi.org/10.2307/2271517
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.Keywords
This publication has 6 references indexed in Scilit:
- Mathematical Logic. By J. R. Shoenfield. Pp. 344. 119s. 1967. (Addison-Wesley. Reading, Mass. and London.)The Mathematical Gazette, 1969
- Ultraproducts which are not saturatedThe Journal of Symbolic Logic, 1967
- Countable models of ℵ1-categorical theoriesIsrael Journal of Mathematics, 1967
- Some model theoretic results for θ-logicIsrael Journal of Mathematics, 1966
- Categoricity in powerTransactions of the American Mathematical Society, 1965
- Homogeneous Universal Models.MATHEMATICA SCANDINAVICA, 1962