Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Recursive theory and Dedekind cuts


Author: Robert I. Soare
Journal: Trans. Amer. Math. Soc. 140 (1969), 271-294
MSC: Primary 02.70
DOI: https://doi.org/10.1090/S0002-9947-1969-0242667-4
MathSciNet review: 0242667
Full-text PDF Free Access

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [1] J. C. E. Dekker, Productive sets, Trans. Amer. Math. Soc. 78 (1955), 129-149. MR 0067049 (16:663a)
  • [2] J. C. E. Dekker and J. Myhill, Retraceable sets, Canad. J. Math. 10 (1958), 357-373. MR 0099292 (20:5733)
  • [3] R. M. Friedberg and H. Rogers Jr., Reducibility and completeness for sets of integers, Z. Math. Logik Grundlagen Math. 5 (1959), 117-125. MR 0112831 (22:3682)
  • [4] C. G. Jockusch, Jr., Reducibilities in recursive function theory, Doctoral dissertation, Massachusetts Institute of Technology, Cambridge, 1966.
  • [5] -, Semirecursive sets and positive reducibility, Trans. Amer. Math. Soc. 131 (1968), 420-436. MR 0220595 (36:3649)
  • [6] S. C. Kleene, Introduction to metamathematics, Van Nostrand, New York, 1952. MR 0051790 (14:525m)
  • [7] A. H. Lachlan, Some notions of reducibility and productiveness, Z. Math. Logik Grundlagen Math. 11 (1965), 17-44. MR 0172795 (30:3014)
  • [8] D. Lacombe, Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réeles. I, II, III, C. R. Acad. Sci. Paris 240 (1955), 2478-2480, ibid., C. R. Acad. Sci. Paris 241 (1955), 13-14; 151-153.
  • [9] -, Les ensembles récursivement ouverts ou fermés et leur applications à l'analyse récursive, C. R. Acad. Sci. Paris 245 (1957), 1040-1043.
  • [10] D. A. Martin, Classes of recursively enumerable sets and degrees of unsolvability, Z. Math. Logik Grundlagen Math. 12 (1966), 295-310. MR 0224469 (37:68)
  • [11] A. Mostowski, On computable sequences, Fund. Math. 44 (1957), 37-51. MR 0091242 (19:934a)
  • [12] J. Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97-108. MR 0071379 (17:118g)
  • [13] -, Recursive digraphs, splinters, and cylinders, Math. Ann. 138 (1959), 211-218. MR 0111684 (22:2546)
  • [14] E. L. Post, Recursively enumerable sets of integers and their decision problems, Bull. Amer. Math. Soc. 50 (1944), 284-316. MR 0010514 (6:29f)
  • [15] H. G. Rice, Recursive real numbers, Proc. Amer. Math. Soc. 5 (1954), 784-791. MR 0063328 (16:104a)
  • [16] -, Recursive and recursively enumerable orders, Trans. Amer. Math. Soc. 83 (1956), 277-300. MR 0083454 (18:712a)
  • [17] H. J. Rogers, Jr., Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967. MR 0224462 (37:61)
  • [18] G. E. Sacks, Degrees of unsolvability, Ann. of Math. Studies No. 55, Princeton Univ. Press, Princeton, N. J., 1963. MR 0186554 (32:4013)
  • [19] J. R. Shoenfield, Quasicreative sets, Proc. Amer. Math. Soc. 8 (1957), 964-967. MR 0089808 (19:723b)
  • [20] R. I. Soare, Nonrecursive real numbers, Notices Amer. Math. Soc. 14 (1967), 144 and 252.
  • [21] -, Cohesive sets and recursively enumerable Dedekind cuts, (to appear).
  • [22] C. E. M. Yates, Recursively enumerable sets and retracing functions, Z. Math. Logik Grundlagen Math. 8 (1962), 331-345. MR 0146072 (26:3598)
  • [23] -, Three theorems on the degree of recursively enumerable sets, Duke Math. J. 32 (1965), 461-468. MR 0180486 (31:4721)
  • [24] P. R. Young, A note on pseudo-creative sets and cylinders, Pacific J. Math. 14 (1964), 749-753. MR 0162714 (29:18)
  • [25] -, On semicylinders, splinters and bounded-truth-table reducibility, Trans. Amer. Math. Soc. 115 (1965), 329-339. MR 0209151 (35:54)
  • [26] -, On pseudo-creative sets, splinters, and bounded-truth-table reducibility, Z. Math. Logik Grundlagen Math. 13 (1967), 25-31. MR 0202595 (34:2457)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.70

Retrieve articles in all journals with MSC: 02.70


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1969-0242667-4
Article copyright: © Copyright 1969 American Mathematical Society

American Mathematical Society