Article thumbnail

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

By Oren Kolman and Saharon Shelah


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 = |T|+ kappa) has the amalgamation property; this is a step toward understanding the character of such classes of models

Topics: Mathematics - Logic
Year: 1996
OAI identifier:

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.