Article contents
On theories T categorical in |T|
Published online by Cambridge University Press: 12 March 2014
Abstract
Morley conjectured that if an infinite first-order theory T is categorical in the power |T| > ℵ0, then it has a model of power < |T| Here we affirm this conjecture for the case |T|ℵ0=|T|.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1970
Footnotes
I would like to thank my friend Leo Marcus for translating this paper and finding many errors. I would like to thank Mr. Victor Harnik for suggesting the simplified proof of Theorem 6.2, which appears here.
References
- 3
- Cited by