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

1996/04/15 by Saharon Shelah, Shelah, Saharon
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #math.LO

paper · pdf · doi:10.48550/arxiv.math/9604241

published as Fund. Math. 170 No. 1-2 (2001) 165--196

arxiv created 1996/04/15 · openalex publication_date 1996/04/15 · arxiv updated 2009/11/30 · openalex created_date 2022/10/04 · openalex updated_date 2026/07/28

Abstract

We continue the work of [KlSh:362] and prove that for lambda successor, a lambda-categorical theory T in L_{kappa^*, omega} is mu-categorical for every mu, mu <= lambda which is above the (2^LS(T))⁺-beth cardinal.

Related

• Categoricity of an abstract elementary class in two successive cardinals
• Categoricity from one successor cardinal in Tame Abstract Elementary Classes
• The Hart-Shelah example, in stronger logics
• Categoricity and infinitary logics
• Categoricity and Universal Classes