Productive sets
HTML articles powered by AMS MathViewer
- by J. C. E. Dekker PDF
- Trans. Amer. Math. Soc. 78 (1955), 129-149 Request permission
References
- J. C. E. Dekker, The constructivity of maximal dual ideals in certain Boolean algebras, Pacific J. Math. 3 (1953), 73–101. MR 53910
- J. C. E. Dekker, Two notes on recursively enumerable sets, Proc. Amer. Math. Soc. 4 (1953), 495–501. MR 58533, DOI 10.1090/S0002-9939-1953-0058533-7
- S. C. Kleene, Recursive predicates and quantifiers, Trans. Amer. Math. Soc. 53 (1943), 41–73. MR 7371, DOI 10.1090/S0002-9947-1943-0007371-8
- Emil L. Post, Recursively enumerable sets of positive integers and their decision problems, Bull. Amer. Math. Soc. 50 (1944), 284–316. MR 10514, DOI 10.1090/S0002-9904-1944-08111-1
- H. G. Rice, Classes of recursively enumerable sets and their decision problems, Trans. Amer. Math. Soc. 74 (1953), 358–366. MR 53041, DOI 10.1090/S0002-9947-1953-0053041-6
Additional Information
- © Copyright 1955 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 78 (1955), 129-149
- MSC: Primary 02.0X
- DOI: https://doi.org/10.1090/S0002-9947-1955-0067049-X
- MathSciNet review: 0067049