主要公开日志
更多操作
所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
- 2025年8月6日 (三) 18:37 YourCpper 留言 贡献创建了页面SSO (创建页面,内容为“SSO(Small Stegert Ordinal),是<math>\rm{KP+\Pi_N-ref},N\in\omega</math>的证明论序数,该结论由Stegert给出,因此得名。 {| class="wikitable" !序数记号 !表达式 |- |反射序数 |<math>\psi(\rm{psd.}\Pi_\omega)</math> |- |稳定序数 |<math>\psi(\lambda\alpha.\alpha+1-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha+1}+1}))=\psi(\psi_\alpha(\alpha_2))</math> |- |UNOCF |<math>\psi(…”) 标签:可视化编辑