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)

 
 

 

The Kleene hierarchy classification of recursively random sequences


Author: D. W. Loveland
Journal: Trans. Amer. Math. Soc. 125 (1966), 497-510
MSC: Primary 02.70
DOI: https://doi.org/10.1090/S0002-9947-1966-0207562-2
MathSciNet review: 0207562
Full-text PDF

References | Similar Articles | Additional Information

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

  • [1] A. Church, On the concept of a random sequence, Bull. Amer. Math. Soc. 46 (1940), 130-135. MR 0000911 (1:149a)
  • [2] M. Davis, Computability and unsolvability, McGraw-Hill, New York, 1958. MR 0124208 (23:A1525)
  • [3] K. de Leeuw, E. F. Moore, C. E. Shannon and N. Shapiro, Computability by probabilistic machines, Automata Studies, Princeton Univ. Press, Princeton, N. J., 1956, pp. 183-212. MR 0079550 (18:104a)
  • [4] J. L. Doob, Note on probability, Ann. of Math. 37 (1936), 363-367. MR 1503284
  • [5] W. Feller, An introduction to probability theory and its applications, 2nd ed., Wiley, New York, 1957. MR 0088081 (19:466a)
  • [6] S. C. Kleene, Introduction to mathematics, Van Nostrand, Princeton, N. J., 1952. MR 0051790 (14:525m)
  • [7] K. Knopp, Theory of functions, Part 2 (1st American ed., transl. by F. Bagemihl from the 4th German ed.) Dover, New York, 1947. MR 0019722 (8:452e)
  • [8] D. W. Loveland, Recursively random sequences, Ph.D. dissertation, New York Univ., June, 1964.
  • [9] -, A new interpretation of the von Mises concept of random sequence, Z. Math. Logik Grundlagen Math. (to appear). MR 0205293 (34:5124)
  • [10] W. Markwald, Ein Satz über die elementar-arithmetischen Definierbarkeitsklassen, Arch. Math. Logik Grundlagenforsch. 2 (1956), 78-86. MR 0078929 (18:1f)
  • [11] R. von Mises, Probability, statistics and truth (2nd English ed., translated from German), Macmillan, New York, 1957. MR 0090158 (19:776e)
  • [12] H. Putnam, Trial and error predicates and the solution to a problem of Mostowski's, J. Symbolic Logic 30 (1965), 49-57. MR 0195725 (33:3923)
  • [13] H. Rogers, Jr., Computing degrees of unsolvability, Math. Ann. 138 (1959), 125-140. MR 0114752 (22:5571)
  • [14] A. Wald, Die Widerspruchsfreiheit des Kollectiv-begriffes der Wahrscheinlichkeitsrechnung, Ergebnisse eines mathematischen Kolloquiums, Vol. 8, 1937, pp. 38-72.

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-1966-0207562-2
Article copyright: © Copyright 1966 American Mathematical Society

American Mathematical Society