Categoricity of theories in LRhl, when k is a measurable cardinal. Part 1

摘要

We assume a theory T in the logic LKW is categorical in a cardinal λ ≥ k, and k is a measurable cardinal. "We prove that the class of models of T of cardinality < λ (but ≥ |T| + k) has the amalgamation property; this is a step toward understanding the character of auch classes of models.