User:Augigogigi/Mahlo Notation: Revision history

5 September 2022

• curprev 20:3120:31, 5 September 2022‎ Augigogigi talk contribs‎ 637 bytes +637‎ Created page with "*\( \alpha \vartriangleleft_{0} A \) is true iff for all functions \( f : \alpha \rightarrow \alpha \), there exists \( \kappa \in A \) that is closed under \( f \) *\( [0]M = \{ \alpha : \alpha \vartriangleleft Ord \} \) *\( [S,\alpha + 1]\Xi_{0} = \{ \beta : \beta \vartriangleleft [\alpha]\Xi_{0} \} \) *\( [S,\alpha]\Xi_{0} = \bigcap_{\beta<\alpha} [\beta]\Xi_{0} \) iff \( \alpha \in Lim \) *\( [1,0,S]\Xi_{0} = \{ \alpha : \alpha = \bigcap_{\beta<\alpha} [\beta,S]\Xi_{..."