Bibliography
Craig, W.,On axiomatizability within a system,Journal of Symbolic Logic, vol. 18 (1953), pp. 30–32.
Feferman, S.,Degrees of unsolvability associated with classes of formalized theories,Journal of Symbolic Logic, vol. 22 (1957), pp. 161–175.
Kleene, S. C.,Introduction to metamathematics, Amsterdam, Groningen, New York and Toronto, 1952, X + 550 pp.
Myhill, J.,Creative sets,Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 97–108.
Rogers, Hartley, Jr.,Theory of recursive functions and effective computability, vol. I (mimeographed), Department of Mathematics, Massachusetts Institute of Technology, 1956, xiii + 155 pp.
Shoenfield, J. R.,Degrees of formal systems,Journal of Symbolic Logic, vol. 23 (1958), pp. 389–392.
Tarski, A., Mostowski, A. and Robinson, R. M.,Undecidable theories, Amsterdam, 1953, XI + 98 pp.
Author information
Authors and Affiliations
Additional information
The work of the second author on this paper was carried out during a period of support by a grant from the National Science Foundation. We wish to thank G. Kreisel for his helpful comments regarding the writing of this paper.
Rights and permissions
About this article
Cite this article
Ehrenfeucht, A., Feferman, S. Representability op recursively enumerable sets in formal theories. Arch math Logik 5, 37–41 (1960). https://doi.org/10.1007/BF01977641
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01977641