All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 20:31, 5 September 2022 Augigogigi talk contribs created page User:Augigogigi/Mahlo Notation (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_{...")