doesNotAdd

URI: https://gptkb.org/prop/doesNotAdd
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Sacks_forcing random reals
gptkb:Sacks_forcing gptkb:Cohen_reals
gptkb:Prikry_forcing new bounded subsets of the measurable cardinal