Timeline for Does Laver Forcing add an infinitely often equal real?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 7, 2017 at 22:37 | comment | added | Goldstern | If $x$ is infinitely equal to all reals from the ground model, then $x':=\min(x,id)$ is infinitely equal to all ground model reals bounded by $id$, and $x'$ is now bounded. | |
| Dec 7, 2017 at 22:26 | comment | added | Corey Bacal Switzer | Sorry one clarifying question: since any infinitely often equal real isn't bounded by any ground model real, how exactly does one apply the Laver property in this case? | |
| Dec 7, 2017 at 22:11 | comment | added | Corey Bacal Switzer | I figured it was something like this. Thanks. | |
| Dec 7, 2017 at 22:11 | vote | accept | Corey Bacal Switzer | ||
| Dec 7, 2017 at 22:07 | history | answered | Goldstern | CC BY-SA 3.0 |