Timeline for A question about ordinal definable sets and large cardinal axioms
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 12, 2016 at 19:00 | comment | added | Garabed Gulbenkian | These Large Cardinal Axioms bring many more sets into existence and I thought that quite a few of them would not be Ordinal Definable. | |
| Aug 12, 2016 at 18:56 | comment | added | Garabed Gulbenkian | Many thanks for this detailed response. It was a surprise for me, since I had expected that most of the Large Cardinal axioms would contradict V=OD outright. It shows how little I know about that area of Set Theory | |
| Aug 12, 2016 at 18:35 | vote | accept | Garabed Gulbenkian | ||
| Aug 11, 2016 at 17:22 | comment | added | Joel David Hamkins | A similar argument shows that the Shelah philosophical attitude toward the GCH --- that it holds in a "random" pattern with all possible behaviors occuring somewhere --- implies V=HOD. | |
| Aug 11, 2016 at 17:08 | comment | added | Joel David Hamkins | The theorem is false with only a bounded number of indestructible supercompact cardinals, since you can add a Cohen set above them all, and this preserves indestructibility while killing V=HOD. | |
| Aug 11, 2016 at 16:43 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 146 characters in body
|
| Aug 11, 2016 at 16:26 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |