主要公开日志
更多操作
所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。
- 2025年7月24日 (四) 20:14 Tabelog 留言 贡献创建了页面CKO （创建页面，内容为“CKO(Church-Kleene Ordinal)是可数序数的上确界。 === 定义 === Church-Kleene 序数，记作 <math>\omega_1^{\rm CK}</math>，是可计算序数（computable ordinals）的上确界。具体来说，它是在可计算良序（computable well-orderings）的序型（order types）集合中的最小不可数上界。 ==== 形式化定义 ==== 设 <math>\mathrm{O}</math> 是所有可计算良序的序型构成的集合。即，若 <math>\prec</math> 是…”） 标签：可视化编辑