Forcing over determinacy
Appears in collection : XVII International Luminy Workshop in Set Theory / XVII Atelier International de Théorie des Ensembles
We outline recent results obtained by forcing over strong models of determinacy.
Appears in collection : XVII International Luminy Workshop in Set Theory / XVII Atelier International de Théorie des Ensembles
We outline recent results obtained by forcing over strong models of determinacy.