Stability: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
No edit summary |
No edit summary |
||
Line 7: | Line 7: | ||
Theorem: Let \(n<\omega\). If \(\alpha\) is \((+n+1)\)-stable, then \(\alpha\) is \(\Pi^1_0\)-reflecting on the class of \((+n)\)-stable ordinals below \(\alpha\). |
Theorem: Let \(n<\omega\). If \(\alpha\) is \((+n+1)\)-stable, then \(\alpha\) is \(\Pi^1_0\)-reflecting on the class of \((+n)\)-stable ordinals below \(\alpha\). |
||
Proof: Assume \(\alpha\) is (+2)-stable and \(\phi(\vec x)\) is a first-order formula with parameters from \(L_\alpha\) such that \(L_\alpha\vDash\phi(\vec x)\). WIP |
|||
Proof: |
|||
Corollary: \(\Pi^1_1\)-reflecting ordinals \(\alpha\) are \(\alpha^+\)-stable, therefore they are \(\alpha+3\)-stable. So each \(\Pi^1_1\)-reflecting ordinal is \(\Pi^1_0\)-reflecting on the \((+2)\)-stable ordinals below it. |
Corollary: \(\Pi^1_1\)-reflecting ordinals \(\alpha\) are \(\alpha^+\)-stable, therefore they are \(\alpha+3\)-stable. So each \(\Pi^1_1\)-reflecting ordinal is \(\Pi^1_0\)-reflecting on the \((+2)\)-stable ordinals below it. |