Timeline for Examples of ZFC theorems proved via forcing
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 18, 2010 at 10:33 | comment | added | Péter Komjáth | I think a (different?) forcing proof for Solovay's theorem is given in this paper: J. E. Baumgartner, A Ha̧jņal, A. Mate: Weak saturation properties of ideals, in: Infinite and finite sets (Colloq., Keszthely, 1973; dedicated to P. Erdős on his 60th birthday), Vol. I, Colloq. Math. Soc. Janos Bolyai, Vol. 10, North-Holland, Amsterdam, 1975, 137-158. | |
| Oct 18, 2010 at 10:01 | history | answered | Stefan Hoffelner | CC BY-SA 2.5 |