Timeline for Does $0^{\#}$ imply the failure of upward directedness in the set generic universe over $L$?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 8, 2018 at 13:27 | vote | accept | Stefan Mesken | ||
| Jul 5, 2018 at 2:49 | answer | added | Joel David Hamkins | timeline score: 4 | |
| Jul 4, 2018 at 21:41 | history | edited | Stefan Mesken | CC BY-SA 4.0 |
added 3 characters in body
|
| Jul 4, 2018 at 21:40 | comment | added | Stefan Mesken | @MihaHabič Thank you very much for the reference! | |
| Jul 4, 2018 at 21:18 | comment | added | Miha Habič | The Mostowski reference is: Mostowski, A., A remark on models of Gödel--Bernays axioms for set theory. Studies in Logic and the Foundations of Mathematics, 84 (1976), 325--340. doi | |
| Jul 4, 2018 at 21:15 | comment | added | Miha Habič | It seems that the essential idea for proposition 3 (if not the exact quoted statement) is due to Mostowski. This was recently pointed out to me by Kameryn Williams, after I had also spent a long time not knowing who to attribute the result to. A preprint should appear very soon in which Kameryn, I, Joel Hamkins, Lukas Klausner, and Jonathan Verner improve on Mostowski's argument to embed various posets into the generic multiverse. | |
| Jul 4, 2018 at 20:28 | history | edited | Stefan Mesken | CC BY-SA 4.0 |
grammar
|
| Jul 4, 2018 at 18:58 | history | edited | Stefan Mesken | CC BY-SA 4.0 |
added 1 character in body
|
| Jul 4, 2018 at 18:50 | history | edited | Stefan Mesken | CC BY-SA 4.0 |
added side note
|
| Jul 4, 2018 at 18:49 | answer | added | Stefan Mesken | timeline score: 6 | |
| Jul 4, 2018 at 14:10 | history | edited | Stefan Mesken | CC BY-SA 4.0 |
edited body
|
| Jul 4, 2018 at 13:43 | history | asked | Stefan Mesken | CC BY-SA 4.0 |