Abstract
We study extensions of the decidable existential theory of concatenation over words. We show that two equal-length predicates are equivalent and are not existentially definable by equations in concatenation. By adding a further length predicate we get an undecidable existential theory. Whether the existential theory of concatenation and equal length is decidable remains unknown.
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
Lipshitz, L., The Diophantine problem for addition and divisibility. Trans. Amer. Math. Soc. 235 (1978), 271–283.
Makanin, G. S., The problem of solvability of equations in a free semigroup. Math. USSR Sbornik 32 (1977), 129.
Makanin, G. S., The problem of solvability of equations in a free semigroup. Soviet Math. Dokl. 18 (1977), 330.
Senger, S., The Existential Theory of Concatenation. Ph. D. Dissertation, Purdue University, 1982.
Senger, S., Coding in the existential theory of concatenation. Arch. Math. Logik Grundlag. 26 (1986/87), 101–106.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Büchi, J.R., Senger, S. (1990). Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory. In: Mac Lane, S., Siefkes, D. (eds) The Collected Works of J. Richard Büchi. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-8928-6_37
Download citation
DOI: https://doi.org/10.1007/978-1-4613-8928-6_37
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4613-8930-9
Online ISBN: 978-1-4613-8928-6
eBook Packages: Springer Book Archive