Stability: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
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\).
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
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.
| |||