Timeline for Do these ordinals exist?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 20, 2017 at 5:29 | vote | accept | Zetapology | ||
| Sep 20, 2017 at 5:29 | |||||
| Sep 20, 2017 at 5:27 | comment | added | Zetapology | I meant provable, this won't let me edit it for some reason | |
| Sep 19, 2017 at 22:28 | comment | added | Zetapology | Ah, so it's not probable from ZFC whether or not they exist. | |
| Sep 19, 2017 at 18:14 | history | edited | Yair Hayut | CC BY-SA 3.0 |
added 56 characters in body
|
| Sep 19, 2017 at 18:12 | comment | added | Yair Hayut | You're right, I need to assume Global Choice in order to get that the Skolem function are definable. | |
| Sep 19, 2017 at 17:40 | comment | added | Asaf Karagila♦ | I thought pointwise definable models have to satisfy something like V=OD. I mean, add a Cohen real to L, then what would be a pointwise definable elementary submodel of that? | |
| Sep 19, 2017 at 17:32 | history | answered | Yair Hayut | CC BY-SA 3.0 |