Timeline for A question about ordinal definable real numbers
Current License: CC BY-SA 3.0
19 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 7, 2019 at 2:53 | comment | added | Timothy Chow | @VladimirKanovei : It might be nice to mention Garabed Gulbenkian by name in your paper. | |
| Aug 8, 2016 at 15:51 | vote | accept | Garabed Gulbenkian | ||
| Aug 29, 2014 at 10:38 | history | edited | François G. Dorais | CC BY-SA 3.0 |
added arxiv link
|
| Aug 29, 2014 at 10:09 | comment | added | Asaf Karagila♦ | Thinking about the Grigorieff paper (about intermediate models of generic extensions) recently, I think that he shows that that symmetric elements are OD (with parameters) and hereditarily symmetric are HOD (with parameters). But the parameters are the names which generate the group of symmetries preserving the particular name. So perhaps it's possible to construct a forcing with a name for a set of reals preserved by all the automorphisms of the forcing (all of them), but none of its elements is preserved by all the automorphisms. That would correspond to something OD but not HOD. | |
| Aug 29, 2014 at 7:49 | comment | added | Asaf Karagila♦ | Here is what I found. | |
| Aug 29, 2014 at 7:44 | comment | added | Vladimir Kanovei | I'm not able to find anything relevant on David Pincus except that he is cited in FUNDAMENTA MATHEMATICAE 181 (2004) On the Leibniz-Mycielski axiom in set theory by Ali Enayat, where indeed an extension of L by a Dedekind-finite set of J reals is considered. | |
| Aug 29, 2014 at 7:32 | history | edited | Vladimir Kanovei | CC BY-SA 3.0 |
deleted 2729 characters in body
|
| Aug 29, 2014 at 7:25 | comment | added | Asaf Karagila♦ | Vladimir, on a Google search once, I came across an announcement of a set theory seminar from a couple years back, where Pincus gave a talk about the model $L(J)$, where $J$ is the set of Jensen minimal reals. Perhaps the work you do here is related to his results there (which I could not find anywhere). | |
| Aug 29, 2014 at 5:23 | history | edited | Vladimir Kanovei | CC BY-SA 3.0 |
added 58 characters in body
|
| Aug 25, 2014 at 2:11 | history | edited | Vladimir Kanovei | CC BY-SA 3.0 |
added 271 characters in body
|
| Aug 23, 2014 at 0:04 | history | edited | Vladimir Kanovei | CC BY-SA 3.0 |
added 553 characters in body
|
| Aug 21, 2014 at 14:35 | history | edited | Vladimir Kanovei | CC BY-SA 3.0 |
added 2801 characters in body
|
| Aug 21, 2014 at 14:29 | history | edited | Vladimir Kanovei | CC BY-SA 3.0 |
added 2801 characters in body
|
| Aug 21, 2014 at 2:04 | comment | added | Ali Enayat | @Vladimir, I added a link to your paper. | |
| Aug 21, 2014 at 2:03 | history | edited | Ali Enayat | CC BY-SA 3.0 |
Added the appropriate reference.
|
| Aug 15, 2014 at 9:10 | comment | added | Vladimir Kanovei | Edited. I hope to sent a note to Arxiv in a few days | |
| Aug 15, 2014 at 9:09 | history | edited | Vladimir Kanovei | CC BY-SA 3.0 |
A few technical details added
|
| Aug 15, 2014 at 7:24 | comment | added | Joel David Hamkins | Could you be so kind as to sketch the arguments? | |
| Aug 15, 2014 at 6:04 | history | answered | Vladimir Kanovei | CC BY-SA 3.0 |