Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(online) ISSN 0002-9939(print)

Reducibilities among decision problems for HNN groups, vector addition systems and subsystems of Peano arithmetic


Authors: Michael Anshel and Kenneth McAloon
Journal: Proc. Amer. Math. Soc. 89 (1983), 425-429
MSC: Primary 03D80; Secondary 03F30, 20F05, 20F10, 68Q99
MathSciNet review: 715859
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Our purpose is to exhibit reducibilities among decision problems for conjugate powers in HNN groups, reachability sets of vector addition systems and sentences in subsystems of Peano arithmetic, and show that although these problems are not primitive recursively decidable, they do admit decision procedures which are primitive recursive in the Ackermann function.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03D80, 03F30, 20F05, 20F10, 68Q99

Retrieve articles in all journals with MSC: 03D80, 03F30, 20F05, 20F10, 68Q99


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9939-1983-0715859-8
PII: S 0002-9939(1983)0715859-8
Article copyright: © Copyright 1983 American Mathematical Society