Timeline for A definable gender problem related to Sacks reals
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 9, 2020 at 15:53 | history | edited | Vladimir Kanovei | CC BY-SA 4.0 |
added 28 characters in body
|
| Feb 4, 2020 at 5:50 | history | edited | Vladimir Kanovei | CC BY-SA 4.0 |
added 158 characters in body
|
| Feb 3, 2020 at 19:27 | answer | added | Ali Enayat | timeline score: 6 | |
| Feb 3, 2020 at 18:43 | history | edited | Vladimir Kanovei | CC BY-SA 4.0 |
added 72 characters in body
|
| Jan 31, 2020 at 4:24 | history | edited | Vladimir Kanovei | CC BY-SA 4.0 |
arXiv reference added
|
| Dec 28, 2019 at 20:52 | history | edited | Vladimir Kanovei | CC BY-SA 4.0 |
added 736 characters in body
|
| Dec 28, 2019 at 15:48 | comment | added | Vladimir Kanovei | Yes thm 4.6 in Ehrenfeucht’s Lemma in Set Theory, in fact the result can be improved so that the indiscernible sets of reals are countable and disjoint and the union is lightface $\varPi^1_2$ as in Golshani etc. MLQ 2017, 63, 1-2, 19-31. Those examples are designed to yield exactly that, the plain Sacks model is a different thing. | |
| Dec 28, 2019 at 14:03 | comment | added | Joel David Hamkins | In my paper jdh.hamkins.org/ehrenfeuchts-lemma-in-set-theory, we prove a negative answer in the extension with two Sacks reals. | |
| Dec 28, 2019 at 13:45 | comment | added | Asaf Karagila♦ | That's a really nice question! | |
| Dec 28, 2019 at 13:42 | history | edited | Asaf Karagila♦ |
edited tags
|
|
| Dec 28, 2019 at 6:27 | history | asked | Vladimir Kanovei | CC BY-SA 4.0 |