Timeline for Can every set be ordinal definable?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 9, 2023 at 12:58 | comment | added | Binary198 | Uh... I thought satisfaction was absolute. Uh oh. I have no idea. | |
| Jul 8, 2023 at 5:37 | comment | added | C7X | How is $M\vDash M\vDash ZFC$ formulated (as a first-order sentence)? Additionally, being a model of ZFC is not absolute: Hamkins, Yang, "Satisfaction is not absolute". | |
| Jun 11, 2023 at 18:44 | comment | added | Wojowu | For the record, $V=OD$ is equivalent to $V=HOD$, and $HOD$ is always an inner model. | |
| Jun 11, 2023 at 16:28 | comment | added | James E Hanson | I think that any model of $V=L$ will have all sets ordinal definable, so you can just force over $L$ to add generic subsets of arbitrarily large $\alpha$ without adding any smaller sets. | |
| Jun 11, 2023 at 14:54 | history | asked | Binary198 | CC BY-SA 4.0 |