Stability: Difference between revisions
Jump to navigation
Jump to search
Created page with "Stability is a notion and very wide range of types of nonrecursive ordinals, inspired by the weaker notion of reflection. In general, stability is defined via ranks of \(L\) being similar to each other. The weakest type of stability is \((+1)\)-stable, i.e. \(L_\alpha\) being a \(\Sigma_1\)-elementary substructure of \(L_{\alpha+1}\). In general, \(\alpha\) is \(\beta\)-stable, or stable up to \(\beta\), if \(L_\alpha\) is a \(\Sigma_1\)-elementary substructure of \(L_\b..."
RhubarbJayde (talk | contribs) (Created page with "Stability is a notion and very wide range of types of nonrecursive ordinals, inspired by the weaker notion of reflection. In general, stability is defined via ranks of \(L\) being similar to each other. The weakest type of stability is \((+1)\)-stable, i.e. \(L_\alpha\) being a \(\Sigma_1\)-elementary substructure of \(L_{\alpha+1}\). In general, \(\alpha\) is \(\beta\)-stable, or stable up to \(\beta\), if \(L_\alpha\) is a \(\Sigma_1\)-elementary substructure of \(L_\b...") |
(No difference)
|