Answers are grounded in this paper and cite their sources.
Successive modifications of Church's definition of a random sequence are considered in terms of their relative position in the Ritchie hierarchy of Kalmar elementary functions. A general result is derived governing the classification of Church random sequences in subrecursive hierarchies which include the elementary functions, such as the Grzegorczyk and Kleene subrecursive hierarchies.
No takes yet. Share an insight, caveat, or question.
Robert A. Di Paola (1969) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: