Forcing with ideals of closed sets
Jindrich Zapletal
Abstract
Let I be a sigma-ideal sigma-generated by a projective collection of closed sets. The forcing with I-positive Borel sets is proper and adds a single real r of an almost minimal degree: if s is a real in V[r] then s is Cohen generic over V or V[s]=V[r].
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