Categoricity of theories in Lkappa* omega, when kappa* is a measurable cardinal. Part II
Saharon Shelah
math.LOarXiv:math/9604241
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.
Create a lesson
Related papers
The Logic of Emergence
David H. Wolpert, David C. Krakauer
The group of strong automorphisms of the differential field of transseries
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
Escaping and generics over ideals
Laurent Bienvenu, Noam Greenberg, Ludovic Patey et al.
Definably isometric cuboids over Hensel minimal fields
Marcelo Fortmann
A weak λ-set that is not a λ-set under p = c
Alexander V. Osipov, Anton E. Lipin
The Cone Fixing the Reals of $HODM2n(x)
Farmer Schlutzenberg, Connor Watson