A very absolute Pi-1-2 real singleton
Résumé
I give a class forcing that adds a real which is Pi-1-2 and for which no forcing extension (by a set of conditions) can destroy this definability.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)