On theories T categorical in |T|

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|.