Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Recursive real numbers

Author: H. G. Rice
Journal: Proc. Amer. Math. Soc. 5 (1954), 784-791
MSC: Primary 02.0X
MathSciNet review: 0063328
Full-text PDF Free Access

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [1] S. C. Kleene, Introduction to metamathematics, New York, Amsterdam, and Groningen, 1952. MR 0051790 (14:525m)
  • [2] R. M. Robinson, Review, J. Symbolic Logic vol. 16 (1951) p. 282. MR 0042357 (13:97f)
  • [3] P. C. Rosenbloom, An elementary constructive proof of the fundamental theorem of algebra, Amer. Math. Monthly vol. 52 (1945) pp. 562-570. MR 0014507 (7:295b)
  • [4] E. Specker, Nicht Konstructiv beweisbare Sätze der Analysis, J. Symbolic Logic vol. 14 (1949) pp. 145-158. MR 0031447 (11:151g)
  • [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.

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02.0X

Retrieve articles in all journals with MSC: 02.0X

Additional Information

Article copyright: © Copyright 1954 American Mathematical Society

American Mathematical Society