FANDOM


大凡勃倫序(英語:large Veblen ordinal)是一個大可數序。在凡勃倫階層的超限擴展中,它等於\(\alpha \mapsto \varphi_{\Omega^\alpha}(0)\)的第一個不動點。使用Weiermann的\(\vartheta\)函數,它可以表示為\(\vartheta(\Omega^\Omega)\),並且是\(\alpha \mapsto \theta(\Omega^\alpha)\)的第一個不動點。另外,使用Madore的psi函數,它等於\(\psi(\Omega^{\Omega^\Omega})\)。


See also 编辑