Timeline for A question on an ordinal for ZFC-
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 6, 2015 at 21:52 | comment | added | Frode Alfson Bjørdal | Yes, that would be so. | |
| Feb 6, 2015 at 13:37 | comment | added | Thomas Benjamin | Question: Is $L_{\beta_0}$ then also a model of $\Sigma_n$-$KP$ (that is, $KP$+Infinity+$\Sigma_n$-Collection+$\Sigma_n$-Separation? | |
| Aug 3, 2013 at 13:13 | vote | accept | Frode Alfson Bjørdal | ||
| Aug 2, 2013 at 8:09 | answer | added | Philip Welch | timeline score: 13 | |
| Aug 1, 2013 at 8:16 | comment | added | Frode Alfson Bjørdal | Yes, I am interested in the least such ordinal. | |
| Aug 1, 2013 at 2:00 | comment | added | Joel David Hamkins | Your ordinal $\delta$ is smaller than $\delta^1_2$, the supremum of the $\Delta^1_2$-definable pre-wellorder relations on $\mathbb{N}$, but larger of course than $\delta^1_1=\omega_1^{ck}$. | |
| Jul 31, 2013 at 23:53 | comment | added | Joel David Hamkins | If you only want some $\delta$ for which $L_\delta\models$ZFC-, then you can take $\delta=\omega_1$, or any infinite successor cardinal, for that matter. But probably you want to characterize the least $\delta$ such that $L_\delta\models$ZFC-? | |
| Jul 31, 2013 at 23:29 | history | asked | Frode Alfson Bjørdal | CC BY-SA 3.0 |