forcing New Reals
Posted: Sat Jul 17, 2021 12:23 am
https://www.quantamagazine.org/how-many ... -20210715/
Especially the box "Forcing New Reals" makes my head hurt and makes me more sympathetic to Santeri's self-chosen plight.
Especially the box "Forcing New Reals" makes my head hurt and makes me more sympathetic to Santeri's self-chosen plight.