Theories with a finite number of models in an uncountable power are categorical

Abstract

In this paper are considered complete, countable, firstorder theories which have a finite number of models in some uncountable power. It is shown that any such theory is either (^-categorical or i-categorical. This confirms a conjecture of W. K. Forrest.