Categoricity of Theories in $L_{\kappa,\omega}$, when $\kappa$ is a measurable cardinal. Part 1

by Kolman and Shelah. [KlSh:362]
Fundamenta Math, 1996
We assume a theory T in the logic L_{kappa omega} is categorical in a cardinal lambda >= kappa, and kappa is a measurable cardinal. Here we prove that the class of model of T of cardinality < lambda (but >= |T|+ kappa) has the amalgamation property; this is a step toward understanding the character of such classes of models.


Back to the list of publications