A theorem on hypersimple sets
J. C. E. Dekker · Proceedings of the American Mathematical Society · 1954
1. S. C. Kleene, Introduction to metamathematics, New York, Amsterdam, and Groningen, 1952. 2. R. M. Robinson, Review, J. Symbolic Logic vol. 16 (1951) p. 282. 3. P. C. Rosenbloom, An elementary constructive proof of the fundamental theorem of algebra, Amer. Math. Monthly vol. 52 (1945) pp. 562-570. 4. E. Specker, Nicht Konstructiv beweisbare Sdtze der Analysis, J. Symbolic Logic vol. 14 (1949) pp. 145-158. 5. A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc. (2) vol. 42 (1936-37) pp. 230-265.