Categoricity of theories in $L_{\kappa\omega}$, when $\kappa$ is a measurable cardinal. Part 1
Volume 151 / 1996
Fundamenta Mathematicae 151 (1996), 209-240
DOI: 10.4064/fm_1996_151_3_1_209_240
Abstract
We assume a theory T in the logic $L_{κω}$ is categorical in a cardinal λ \≥ κ, and κ is a measurable cardinal. We prove that the class of models of T of cardinality < λ (but ≥ |T|+κ) has the amalgamation property; this is a step toward understanding the character of such classes of models.
