User:RhubarbJayde/REL-NPR: Difference between revisions
no edit summary
RhubarbJayde (talk | contribs) (Created page with "Relativized nonprojectibility, abbreviated REL-NPR, is a systematic extension of a particular characterisation of nonprojectible ordinals. In general, we say \(\alpha\) is a \(\Gamma\)-cardinal iff, for all \(\gamma < \alpha\), there is no surjection \(\pi: \gamma \to \alpha\) with \(\pi \in \Gamma\). This is motivated by the fact that: #\(\alpha\) is a cardinal iff it is a \(V_{\alpha+1}\)-cardinal. #\(\alpha\) is a gap iff it is an \(L_{\alpha+1}\)-cardinal. #\(\alpha...") |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 3:
#\(\alpha\) is a cardinal iff it is a \(V_{\alpha+1}\)-cardinal.
#\(\alpha\) is a gap iff it is an \(L_{\alpha+1}\)-cardinal.
#\(\alpha\) is \(\Sigma_2\)-admissible iff it is a \(W_{\alpha+2
#\(\alpha\) is nonprojectible iff it is a \(\Sigma_1(L_\alpha)\)-cardinal.
#\(\alpha\) is admissible iff it is a \(W_{\alpha+1}\)-cardinal.
| |||