A complex of problems proposed by Post
HTML articles powered by AMS MathViewer
- by Wilson E. Singletary PDF
- Bull. Amer. Math. Soc. 70 (1964), 105-109
References
- William W. Boone, The word problem, Ann. of Math. (2) 70 (1959), 207–265. MR 179237, DOI 10.2307/1970103
- Martin Davis, Computability and unsolvability, McGraw-Hill Series in Information Processing and Computers, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1958. MR 0124208
- 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
- Mary Katherine Yntema, A detailed argument for the Post-Linial theorems, Notre Dame J. Formal Logic 5 (1964), 37–50. MR 170796
Additional Information
- Journal: Bull. Amer. Math. Soc. 70 (1964), 105-109
- DOI: https://doi.org/10.1090/S0002-9904-1964-11038-7
- MathSciNet review: 0158817