Gödel numberings versus Friedberg numberings
HTML articles powered by AMS MathViewer
- by Marian Boykan Pour-El PDF
- Proc. Amer. Math. Soc. 15 (1964), 252-256 Request permission
References
- Richard M. Friedberg, Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication, J. Symbolic Logic 23 (1958), 309–316. MR 109125, DOI 10.2307/2964290
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
- Hartley Rogers Jr., Gödel numberings of partial recursive functions, J. Symbolic Logic 23 (1958), 331–341. MR 103821, DOI 10.2307/2964292
Additional Information
- © Copyright 1964 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 15 (1964), 252-256
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1964-0174479-5
- MathSciNet review: 0174479