ON THE 1ST ORDER THEORY OF THE ARITHMETICAL DEGREES

[1] ENDERTON, 1970, J SYMBOLIC LOGIC, V35, P429

[2] HARDING, 1974, THESIS U COLLEGE SWA

[3] AXIOM OF DETERMINATENESS AND REDUCTION PRINCIPLES IN ANALYTICAL HIERARCHY [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1968, 74 (04) : 687 - +

[4] ODIFREDDI P, 1982, J SYMBOLIC LOGIC, V47

[5] ROGERS, 1967, THEORY RECURSIVE FUN

[6] ON DEGREES OF UNSOLVABILITY [J]. ANNALS OF MATHEMATICS, 1959, 69 (03) : 644 - 653

[7] MINIMAL COVERS AND HYPERDEGREES [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 209 (AUG) : 45 - 64

[8] SPECTOR, 1955, J SYMBOLIC LOGIC, V20, P151

[9] [No title captured]

[1] ENDERTON, 1970, J SYMBOLIC LOGIC, V35, P429

[2] HARDING, 1974, THESIS U COLLEGE SWA

[3] AXIOM OF DETERMINATENESS AND REDUCTION PRINCIPLES IN ANALYTICAL HIERARCHY [J]. BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1968, 74 (04) : 687 - +

[4] ODIFREDDI P, 1982, J SYMBOLIC LOGIC, V47

[5] ROGERS, 1967, THEORY RECURSIVE FUN

[6] ON DEGREES OF UNSOLVABILITY [J]. ANNALS OF MATHEMATICS, 1959, 69 (03) : 644 - 653

[7] MINIMAL COVERS AND HYPERDEGREES [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 209 (AUG) : 45 - 64

[8] SPECTOR, 1955, J SYMBOLIC LOGIC, V20, P151

[9] [No title captured]