Finite generation of recursively enumerable sets
HTML articles powered by AMS MathViewer
- by Julia Robinson
- Proc. Amer. Math. Soc. 19 (1968), 1480-1486
- DOI: https://doi.org/10.1090/S0002-9939-1968-0239974-2
- PDF | Request permission
References
- Martin Davis, Hilary Putnam, and Julia Robinson, The decision problem for exponential diophantine equations, Ann. of Math. (2) 74 (1961), 425–436. MR 133227, DOI 10.2307/1970289
- Julia Robinson, General recursive functions, Proc. Amer. Math. Soc. 1 (1950), 703–718. MR 38912, DOI 10.1090/S0002-9939-1950-0038912-1 —, Finitely generated classes of sets, Proc. Amer. Math. Soc. (to appear).
- Raphael M. Robinson, Primitive recursive functions. II, Proc. Amer. Math. Soc. 6 (1955), 663–666. MR 73535, DOI 10.1090/S0002-9939-1955-0073535-4
Bibliographic Information
- © Copyright 1968 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 19 (1968), 1480-1486
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1968-0239974-2
- MathSciNet review: 0239974