1. [1] P.G. Hinman, Some applications of forcing to hierarchy problems in arithmetic, to appear.
2. [2] G. Kreisel, The axiom of choice and the class of hyperarithmetic functions, Indag. Math., 24 (1962), 308-319.
3. [3] A.A. Ljapunow, E.A. Stschegolkow and W.J. Arsenin, Arbeiten zur deskriptive Mengenlehre, Berlin (1955).
4. [4] Per Martin-Löf, The definition of random sequences, Information and Control, 9 (1966), 602-619.
5. [5] Per Martin-Löf, On the notion of randomness, to appear.