I[omega2] can be the nonstationary ideal on Cof(omega1)
William J. Mitchell
math.LOarXiv:math/0407225
Abstract
We answer a question of Shelah by showing that it is consistent that every set of ordinals of cofinality omega1 in I[omega2] is nonstationary if and only if it is consistent that that there is a kappa+ Mahlo cardinal kappa.
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