Timeline for $\Sigma_n$ version of HOD
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Sep 6, 2013 at 18:36 | history | suggested | CommunityBot | CC BY-SA 3.0 |
Removed three instances of backslash-backslash-comma
|
| Sep 6, 2013 at 18:29 | review | Suggested edits | |||
| S Sep 6, 2013 at 18:36 | |||||
| Aug 13, 2011 at 4:14 | history | edited | François G. Dorais | CC BY-SA 3.0 |
minor correction
|
| Aug 13, 2011 at 3:57 | history | edited | François G. Dorais | CC BY-SA 3.0 |
correction
|
| Aug 13, 2011 at 3:53 | comment | added | François G. Dorais | Well, of course! Thanks for the correction. | |
| Aug 13, 2011 at 3:46 | comment | added | Andreas Blass | I agree about $\Sigma_2$ but not about the reason. The quantifier $\exists\gamma$ isn't relevant, since you're allowed an ordinal parameter (like $\gamma$) anyway. I think the relevant formula defining $x\in A$ is $\exists z\,(z=V_\gamma \land z\models\phi(x,\alpha))$. The clause $z=V_\gamma$ here is $\Pi_1$, so the whole formula is $\Sigma_2$. | |
| Aug 13, 2011 at 3:32 | vote | accept | Norman Lewis Perlmutter | ||
| Aug 13, 2011 at 3:30 | history | answered | François G. Dorais | CC BY-SA 3.0 |