3 papers
math.LO2018
Preserving levels of projective determinacy by tree forcings
Fabiana Castiblanco, Philipp Schlicht
We prove that various classical tree forcings -- for instance Sacks forcing, Mathias forcing, Laver forcing, Miller forcing and Silver forcing -- preserve the statement that every…
math.LO2018
A model with everything except for a well-ordering of the reals
Jörg Brendle, Fabiana Castiblanco, Ralf Schindler +2
We construct a model of containing a Luzin set, a Sierpiński set, as well as a Burstin basis but in which there is no a well ordering of the continuum.
math.LO2018
When is a real generic over ?
Fabiana Castiblanco, Ralf Schindler
In this paper we isolate a new criterion for when a given real is generic over in terms of 's capability of lifting elementary embeddings of initial segments of .