Timeline for Universal locally countable partial order
Current License: CC BY-SA 4.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Feb 7, 2021 at 10:49 | history | edited | YCor | CC BY-SA 4.0 |
added remark from comments
|
Feb 7, 2021 at 10:26 | vote | accept | Ashutosh | ||
Feb 7, 2021 at 8:15 | answer | added | Patrick Lutz | timeline score: 7 | |
May 28, 2019 at 20:27 | comment | added | Joel David Hamkins | Do you want them to embed as initial segments? | |
May 28, 2019 at 16:20 | comment | added | Ashutosh | Yes. Under CH, the Turing degrees witness this. This is due to Sacks. | |
May 28, 2019 at 15:58 | comment | added | YCor | Out of curiosity, is the negation of this (i.e., the affirmative: there exists such universal $P$) consistent? | |
May 28, 2019 at 15:14 | history | asked | Ashutosh | CC BY-SA 4.0 |