共 50 条
- [1] SIMPLICITY OF BUSY BEAVER SETSZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (03): : 207 - 224DALEY, RP
- [2] INDEX SETS AND DEGREES OF UNSOLVABILITYJOURNAL OF SYMBOLIC LOGIC, 1982, 47 (02) : 241 - 248STOB, M
- [3] BUSY BEAVER SETS - CHARACTERIZATIONS AND APPLICATIONSINFORMATION AND CONTROL, 1982, 52 (01): : 52 - 67DALEY, RP
- [4] DEGREES OF UNSOLVABILITY OF CONSTRUCTIBLE SETS OF INTEGERSJOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 497 - &BOOLOS, GPUTNAM, H
- [5] CLASSES OF RECURSIVELY ENUMERABLE SETS AND DEGREES OF UNSOLVABILITYZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04): : 295 - &MARTIN, DA
- [6] SIMPLICITY OF BUSY BEAVER SETS - PRELIMINARY-REPORTNOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (05): : A497 - A497DALEY, RP
- [7] FAMILIES OF RECURSIVELY-ENUMERABLE SETS AND THEIR DEGREES OF UNSOLVABILITYIZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1985, (04): : 13 - 19ARSLANOV, MM
- [9] DEGREES OF UNSOLVABILITYJOURNAL OF THE LONDON MATHEMATICAL SOCIETY, 1965, 40 (160P): : 758 - &GOODSTEI.RL