Schwichtenberg, Helmut; Wainer, Stanley S. (2012), "2.8 Recursive type-2 functionals and well-foundedness", Proofs and computations, Perspectives in Logic, Cambridge: Cambridge University Press, pp. 98–101, ISBN978-0-521-51769-0, MR2893891.
Kleene, S. C. (1955), "On the forms of the predicates in the theory of constructive ordinals. II", American Journal of Mathematics, 77: 405–428, doi:10.2307/2372632, JSTOR2372632, MR0070595. See in particular section 26, "A digression concerning recursive linear orderings", pp. 419–422.
Kleene, S. C. (1955), "On the forms of the predicates in the theory of constructive ordinals. II", American Journal of Mathematics, 77: 405–428, doi:10.2307/2372632, JSTOR2372632, MR0070595. See in particular section 26, "A digression concerning recursive linear orderings", pp. 419–422.
Kleene, S. C. (1955), "On the forms of the predicates in the theory of constructive ordinals. II", American Journal of Mathematics, 77: 405–428, doi:10.2307/2372632, JSTOR2372632, MR0070595. See in particular section 26, "A digression concerning recursive linear orderings", pp. 419–422.