An investigation on degrees of unsolvability

Ken HIROSE

doi:10.2969/jmsj/02040609

Ken HIROSE

Author information

JOURNAL FREE ACCESS

1968 Volume 20 Issue 4 Pages 609-633

DOI https://doi.org/10.2969/jmsj/02040609

Details

Published: 1968 Received: November 29, 1965 Available on J-STAGE: September 26, 2006 Accepted: - Advance online publication: - Revised: -
Correction information
Date of correction: September 26, 2006 Reason for correction: - Correction: SUBTITLE Details: Wrong : Dedicated to Professor Motokiti Kondo on his sixtieth birthday anniversary

Date of correction: September 26, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) S. C. Kleene, Introduction to Metamathematics, North-Holland Publishing Co., New York, Tronto, Amsterdam and Gröningen, 1952.
2) S. C. Kleene and Emil L. Post, The upper semi-lattice of degrees of recursive unsolvability, Ann. of Math., 59 (1954), 379-407.
3) Richard M. Friedberg, Two recursively enumerable sets of incomparable degrees of unsolvability, Proc. Nat. Acad. Sci. U.S.A., 43 (1957), 236-238.
4) Gerald E. Sacks, Recursive enumerability and the jump operator, Trans. Amer. Math. Soc., 108 (1963), 223-239.
5) Gerald E. Sacks, Degrees of unsolvability, Ann. of Math. Studies, 55, 1963.

Right : [1] S. C. Kleene, Introduction to Metamathematics, North-Holland Publishing Co., New York, Tronto, Amsterdam and Gröningen, 1952.
[2] S. C. Kleene and Emil L. Post, The upper semi-lattice of degrees of recursive unsolvability, Ann. of Math., 59 (1954), 379-407.
[3] Richard M. Friedberg, Two recursively enumerable sets of incomparable degrees of unsolvability, Proc. Nat. Acad. Sci. U. S. A., 43 (1957), 236-238.
[4] Gerald E. Sacks, Recursive enumerability and the jump operator, Trans. Amer. Math. Soc., 108 (1963), 223-239.
[5] Gerald E. Sacks, Degrees of unsolvability, Ann. of Math. Studies, 55, 1963.

Date of correction: September 26, 2006 Reason for correction: - Correction: PDF FILE Details: -

Corresponding author

Correction information

Register with J-STAGE for free!