Portal de Periódicos da CAPES

Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory

1988; Wiley; Volume: 34; Issue: 4 Linguagem: Inglês

10.1002/malq.19880340410

1521-3870

J Büchi, Steven Senger,

Advanced Algebra and Logic

Mathematical Logic QuarterlyVolume 34, Issue 4 p. 337-342 Article Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory J. Richard Büchi†, J. Richard Büchi† Departments of Computer Science and of Mathematics, University of Wisconsin—LaCrosse, LaCrosse, Wisconsin 54601, U.S.A. Search for more papers by this authorSteven Senger, Steven Senger Departments of Computer Science and of Mathematics, University of Wisconsin—LaCrosse, LaCrosse, Wisconsin 54601, U.S.A. Search for more papers by this author J. Richard Büchi†, J. Richard Büchi† Departments of Computer Science and of Mathematics, University of Wisconsin—LaCrosse, LaCrosse, Wisconsin 54601, U.S.A. Search for more papers by this authorSteven Senger, Steven Senger Departments of Computer Science and of Mathematics, University of Wisconsin—LaCrosse, LaCrosse, Wisconsin 54601, U.S.A. Search for more papers by this author First published: 1988 https://doi.org/10.1002/malq.19880340410Citations: 20 The results in this paper are contained in the Ph. d. thesis [6] of the second author written under the direction of the first author. Professor Büchi died in April 1984. AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text accessShare full-text accessPlease review our Terms and Conditions of Use and check box below to share full-text version of article.I have read and accept the Wiley Online Library Terms and Conditions of UseShareable LinkUse the link below to share a full-text version of this article with your friends and colleagues. Learn more.Copy URL Share a linkShare onEmailFacebookTwitterLinkedInRedditWechat References 1 Bel'tjukov, A. D., Decidability of the universal theory of the natural numbers with addition and divisibility. Zap. Nauchn. Sem. Leningrad. Odtel. Mat. Inst. Steklov (LOMI) 60 (1976) 15–28. Google Scholar 2 Bulitko, V. K., Equations and inequalities in a free group and a free semigroup. Tul. Gos. Ped. Inst. Uchen. Zap. Mat. Kafedr Vyp. 2 Geometr. i. Algebra (1970) 242–252. Google Scholar 3 Lipshitz, L., The Diophantine problem for addition and divisibility. Trans. Amer. Math. Soc. 235 (1978) 271–283. 10.2307/1998219 Web of Science®Google Scholar 4 Makanin, G. S., The problem of solvability of equations in a free semigroup. Math. USSR Sbornik 32 (1977), 129. 10.1070/SM1977v032n02ABEH002376 Web of Science®Google Scholar 5 Makanin, G. S., The problem of solvability of equations in a free semigroup. Soviet Math. Dokl. 18 (1977), 330. Google Scholar 6 Senger, S., The Existential Theory of Concatenation. Ph. D. Dissertation, Purdue University, 1982. Google Scholar 7 Senger, S., Coding in the existential theory of concatenation. Arch. Math. Logik Grundlag. 26 (1986/87) 101–106. Google Scholar Citing Literature Volume34, Issue41988Pages 337-342 ReferencesRelatedInformation