用户贡献
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