Timeline for c.c.c forcing notions and adding minimal generic reals
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 8, 2022 at 5:39 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
Replaced broken Project Euclid JSL link with doi and JSTOR links; added links for another article
|
| Apr 13, 2017 at 12:57 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| May 2, 2016 at 5:31 | history | edited | Mohammad Golshani | CC BY-SA 3.0 |
added 432 characters in body
|
| Jun 8, 2015 at 4:17 | comment | added | Mohammad Golshani | To prove the forcing is c.c.c, we need our model be somehow $L$-like, for example by looking at section 28 of Jech's set theory book (third millennium), $\Diamond$ is used there. Or in Kanovei paper "A countable definable set of reals containing no definable elements" the use of $L$ (see Lemma 6.4 there), is somehow essential. | |
| Jun 7, 2015 at 6:57 | comment | added | Asaf Karagila♦ | Where do Jensen reals (unique solutions to a $\Pi^1_2$ predicate) come into the picture? Is it consistent that they are not minimal, or consistent that they are not c.c.c., or both? | |
| Jun 7, 2015 at 6:32 | history | asked | Mohammad Golshani | CC BY-SA 3.0 |