BUSY BEAVER SETS AND THE DEGREES OF UNSOLVABILITY

被引：2

|

作者：

DALEY, RP

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1981年 / 46卷 / 03期

关键词：

D O I：

10.2307/2273749

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：460 / 474

页数：15

相关论文

共 50 条

[41] DISTRIBUTIVE INITIAL SEGMENTS OF DEGREES OF UNSOLVABILITY
LACHLAN, AH
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (05): : 457 - &
[42] DEGREES OF RECURSIVE UNSOLVABILITY - PRELIMINARY REPORT
POST, EL
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1948, 54 (07) : 641 - 642
[43] THE JUMP IS DEFINABLE IN THE STRUCTURE OF THE DEGREES OF UNSOLVABILITY
COOPER, SB
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1990, 23 (01) : 151 - 158
[44] Dynamical systems approach to the Busy Beaver problem
Nameda, E
Ohira, T
Ikegami, T
COMPUTER PHYSICS COMMUNICATIONS, 2002, 147 (1-2) : 637 - 640
[45] Hardness of Busy Beaver Value BB(15)
Sterin, Tristan
Woods, Damien
REACHABILITY PROBLEMS, RP 2024, 2024, 15050 : 120 - 137
[46] INITIAL SEGMENTS OF DEGREES OF UNSOLVABILITY .2. MINIMAL DEGREES
YATES, CEM
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (02) : 243 - &
[47] HYPNOTIC UNDERESTIMATION OF TIME - THE BUSY BEAVER HYPOTHESIS
STJEAN, R
MCINNIS, K
CAMPBELLMAYNE, L
SWAINSON, P
JOURNAL OF ABNORMAL PSYCHOLOGY, 1994, 103 (03) : 565 - 569
[48] HOMOLOGY OF GROUPS AND THIRD BUSY BEAVER FUNCTION
Michel, Pascal
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2010, 20 (06) : 769 - 791
[49] DISTRIBUTIVE UNCOUNTABLE INITIAL SEGMENTS OF THE DEGREES OF UNSOLVABILITY
RUBIN, JM
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 428 - 428
[50] MINIMAL DEGREES OF UNSOLVABILITY AND FULL APPROXIMATION CONSTRUCTION
EPSTEIN, RL
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 3 (1-16) : 1 - 136

← 1 2 3 4 5 →