Categoricity of theories in Lkappa* omega, when kappa* is a measurable cardinal. Part II
Abstract
We continue the work of [KlSh:362] and prove that for lambda successor, a lambda-categorical theory T in Lkappa*, omega is mu-categorical for every mu, mu <= lambda which is above the (2LS(T))+-beth cardinal.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.