1. Dekker, J. C. E.: A non-constructive extension of the number system, two abstracts. J. Symbolic Logic20, 204–205 (1955).
2. Dekker, J. C. E., andJ. Myhill: Recursive equivalence types, monograph, to be published in 1959 by the University of California Press.
3. Hardy, G. H., andE. M. Wright: An introduction to the theory of numbers. VII+419 pp., 3rd ed. Oxford: Clarendon Press 1954.
4. Perott, M. J.: Sur le théorème de Fermat. Bull. des Sci. Math. 2me Série24, 175–176 (1900).
5. Skolem, Th.: Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen. Fund. Math.23, 150–161 (1934).