HAPPY AND MAD FAMILIES INL(ℝ)

We prove that, in the choiceless Solovay model, every set of reals isH-Ramsey for every happy familyHthat also belongs to the Solovay model. This gives a new proof of Törnquist’s recent theorem that there are no infinite mad families in the Solovay model. We also investigate happy families and mad families under determinacy, applying a generic absoluteness result to prove that there are no infinite mad families under$A{D^ + }$.

Solovay models and forcing extensions

We study the preservation under projective ccc forcing extensions of the property of L(ℝ) being a Solovay model. We prove that this property is preserved by every strongly- absolutely-ccc forcing extension, and that this is essentially the optimal preservation result, i.e., it does not hold for absolutely-ccc forcing notions. We extend these results to the higher projective classes of ccc posets, and to the class of all projective ccc posets, using definably-Mahlo cardinals. As a consequence we obtain an exact equiconsistency result for generic absoluteness under projective absolutely-ccc forcing notions.

An Ulm-type classification theorem for equivalence relations in Solovay model

We prove that in the Solovay model, every OD equivalence relation, Ε, over the reals, either admits an OD reduction to the equality relation on the set of all countable (of length < ω1) binary sequences, or continuously embeds Ε0, the Vitali equivalence.If Ε is a (resp. ) relation then the reduction above can be chosen in the class of all Δ1 (resp. Δ2) functions.The proofs are based on a topology generated by OD sets.