On theories T categorical in |T|
- 12 March 1970
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 35 (1) , 73-82
- https://doi.org/10.2307/2271158
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|.Keywords
This publication has 0 references indexed in Scilit: