Unsolvable Problems
- 1 January 1977
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Linear sampling and the ∀∃∀ case of the decision problemThe Journal of Symbolic Logic, 1974
- Hilbert's Tenth Problem is UnsolvableThe American Mathematical Monthly, 1973
- Connections Between Topological and Group Theoretical Decision ProblemsPublished by Elsevier ,1973
- A Proof of Higman's Embedding Theorem Using Britton Extensions of GroupsPublished by Elsevier ,1973
- On the number of solutions of Diophantine equationsProceedings of the American Mathematical Society, 1972
- An explicit diophantine definition of the exponential functionCommunications on Pure and Applied Mathematics, 1971
- The Word ProblemAnnals of Mathematics, 1963
- The Decision Problem for Exponential Diophantine EquationsAnnals of Mathematics, 1961
- The Word ProblemAnnals of Mathematics, 1959
- A note on the EntscheidungsproblemThe Journal of Symbolic Logic, 1936