页面历史
2026年9月10日 (星期四)
→推论：SRT 衍生出的若干重要结果
+1
→Arslanov 完全性判据（1981）
+138
→Smullyan 双递归定理（1959, 1961）
+45
→通用序数记号系统与\omega_1^{CK}
-17
→HYP = \Delta^1_1 与有效描述集合论
-6
→HYP = \Delta^1_1 与有效描述集合论
+31
→r.e. 索引集理论：Rice、Rice-Shapiro 与 Myhill
-1
→r.e. 索引集理论：Rice、Rice-Shapiro 与 Myhill
+4
→超算术层级与 Spector 唯一性定理
+8
→构造序数 = 递归序数
+2
→哥德尔第一不完备定理（1931）
+2
→Rogers 同构定理（1958）
+9
→Smullyan 双递归定理（1959, 1961）
+4
→一个值得铭记的教训
+2
→总览：两个定理各说了什么
-30
→SRT的其它应用
+24
→HYP = \Delta^1_1 与有效描述集合论
+67
→r.e. 索引集理论：Rice、Rice-Shapiro 与 Myhill
-623
→r.e. 索引集理论：Rice、Rice-Shapiro 与 Myhill
-4
→Rice定理（1951）
+27
→Rice-Shapiro 定理（1956）
+5
→Rice-Shapiro 定理（1956）
+13
→Myhill定理：创造集 = 完备集
+77
→Myhill定理：创造集 = 完备集
+21
→Myhill定理：创造集 = 完备集
+31
→有效运算的连续性：Myhill–Shepherdson 与 KLS–Čeĭnin 定理
+8
→有效运算的连续性：Myhill–Shepherdson 与 KLS–Čeĭnin 定理
+17
→Solovay 可证性逻辑
+7
→Solovay 可证性逻辑
+61
→应用地图一览
-24
→应用地图一览
+24
→评注与影响
-7
→HYP = \Delta^1_1 与有效描述集合论
-3
→评注与影响
+15
→Lawvere 不动点定理（1969）
+11
→命名史
-15
→总览：两个定理各说了什么
+51
→总览：两个定理各说了什么
无编辑摘要
+2,049
无编辑摘要
-2
→总览：两个定理各说了什么
无编辑摘要
-32
无编辑摘要
+48
无编辑摘要
+5
无编辑摘要
+54
无编辑摘要
+23
无编辑摘要
+31,725
无编辑摘要
+5,249
→冯诺伊曼的自复制自动机（1948）
+6
无编辑摘要
+12,636