1. Brouwer, L. E. J., Uber definitionsbereiche von Funktionen, Math. Ann. 96 (1927), 60–75.
2. Martin-Löf, P., Notes on Constructive Mathematics, Almqvist & Wiksell, 1970.
3. Richman F. and Stolzenberg G., Well Quasi-Ordered Sets, To appear in Advances in Mathematics (1991).
4. Paris J. and Harrington L., A Mathematical Incompleteness in Peano Arithmetic, in the Hanbook of Mathematical Logic (1977), J. Barwise, editor, North-Holland.
5. Veldman W., Ramsey's Theorem and the Pigeonhole principle in Intuitionistic Mathematics. Report 9017, Department of Mathematics, catholic University, Toernooiveld, 6525 ED Nijmegen,.