Timeline for Sufficient Condition for Defining $\in$
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 24, 2014 at 21:03 | comment | added | Bjørn Kjos-Hanssen | @JoelDavidHamkins Yes, come to think of it, I don't actually have any intuition that such a thing should exist. | |
| Apr 24, 2014 at 20:57 | comment | added | Joel David Hamkins | I think it is a very interesting question: does every model of ZFC have a definable rigid relation on all of $V$ from which $\in$ is not definable? | |
| Apr 24, 2014 at 20:42 | comment | added | Bjørn Kjos-Hanssen | @JoelDavidHamkins I felt that platonically the idea should apply to every model of set theory, but I wouldn't know how to prove it. | |
| Apr 24, 2014 at 19:56 | comment | added | Joel David Hamkins | Bjorn, in the last sentence are you saying that your idea does extend to every model of set theory? If so, could you explain a bit more, since I don't quite see what you have in mind. I use V=HOD in my argument to construct rigid class structures on V, and I'm not sure otherwise how one might do it. | |
| Apr 24, 2014 at 18:19 | history | answered | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |