On tree ideals
Martin Goldstern, Miroslav Repicky, Saharon Shelah, Otmar Spinas
Abstract
Let l0 and m0 be the ideals associated with Laver and Miller forcing, respectively. We show that add (l0) < cov(l0) and add (m0) < cov(m0) are consistent. We also show that both Laver and Miller forcing collapse the continuum to a cardinal <= h .
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