COMPUTING DEGREES OF UNSOLVABILITY

[1] [Anonymous], 1956, J SYMBOLIC LOGIC, V21, P162

[2] Davis M., 1958, COMPUTABILITY UNSOLV

[3] A THEOREM ON HYPERSIMPLE SETS [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1954, 5 (05) : 791 - 796

[4] FRIEDBERG R, 1959, Z MATH LOG, V5

[5] 2 RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POSTS PROBLEM, 1944) [J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1957, 43 (02) : 236 - 238

[6] Recursive predicates and quantifiers [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1943, 53 (1-3) : 41 - 73

[7] THE UPPER SEMI-LATTICE OF DEGREES OF RECURSIVE UNSOLVABILITY [J]. ANNALS OF MATHEMATICS, 1954, 59 (03) : 379 - 407

[8] MOSTOWSKI A, 1955, FUND MATH, V42, P259

[9] Mostowski A., 1947, FUND MATH, V34, P81

[10] Myhill J., 1955, Z MATH LOGIK, V1, P97, DOI DOI 10.1002/MALQ.19550010205

[1] [Anonymous], 1956, J SYMBOLIC LOGIC, V21, P162

[2] Davis M., 1958, COMPUTABILITY UNSOLV

[3] A THEOREM ON HYPERSIMPLE SETS [J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1954, 5 (05) : 791 - 796

[4] FRIEDBERG R, 1959, Z MATH LOG, V5

[5] 2 RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POSTS PROBLEM, 1944) [J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1957, 43 (02) : 236 - 238

[6] Recursive predicates and quantifiers [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1943, 53 (1-3) : 41 - 73

[7] THE UPPER SEMI-LATTICE OF DEGREES OF RECURSIVE UNSOLVABILITY [J]. ANNALS OF MATHEMATICS, 1954, 59 (03) : 379 - 407

[8] MOSTOWSKI A, 1955, FUND MATH, V42, P259

[9] Mostowski A., 1947, FUND MATH, V34, P81

[10] Myhill J., 1955, Z MATH LOGIK, V1, P97, DOI DOI 10.1002/MALQ.19550010205