Timeline for How large is the supremum of minimal $V$-heights of all first-order set theories formulated in a particular language of FOST?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 12, 2022 at 8:39 | vote | accept | lyrically wicked | ||
| May 6, 2022 at 4:59 | answer | added | Noah Schweber | timeline score: 3 | |
| Jan 26, 2022 at 5:46 | history | edited | lyrically wicked | CC BY-SA 4.0 |
deleted 14 characters in body
|
| Jan 26, 2022 at 5:37 | comment | added | Noah Schweber | This question could be shortened substantially: there's no need to bring $2^\omega$ into things, just define $f$ directly on the set of $\{\in\}$-theories. For that matter we don't even need $f$: say that an ordinal $\alpha$ is fresh iff $V_\alpha\not\equiv V_\gamma$ for any $\gamma<\alpha$, then you're asking for the supremum of the fresh ordinals (and I think this makes it easier to see that the ordinal in question is perfectly well-defined). Finally, note that your example is incorrect: "inaccessible" should be replaced by "worldly." | |
| Jan 26, 2022 at 5:20 | history | asked | lyrically wicked | CC BY-SA 4.0 |