CKO：修订历史

2025年8月30日 (星期六)

• 当前之前 18:512025年8月30日 (六) 18:51 QWQ-bili 留言 贡献 小 5,073字节 −12 无编辑摘要

2025年7月29日 (星期二)

• 当前之前 16:122025年7月29日 (二) 16:12 Tabelog 留言 贡献 小 5,085字节 −4 无编辑摘要 标签：可视化编辑
• 当前之前 16:102025年7月29日 (二) 16:10 Tabelog 留言 贡献 5,089字节 +1,575 无编辑摘要 标签：可视化编辑

2025年7月27日 (星期日)

• 当前之前 16:532025年7月27日 (日) 16:53 QWQ-bili 留言 贡献 小 3,514字节 +113 增添引用
• 当前之前 13:232025年7月27日 (日) 13:23 Tabelog 留言 贡献 小 3,401字节 +50 无编辑摘要

2025年7月24日 (星期四)

• 当前之前 20:142025年7月24日 (四) 20:14 Tabelog 留言 贡献 3,351字节 +3,351 创建页面，内容为“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> 是…” 标签：可视化编辑