First-Order Concatenation Theory with Bounded Quantifiers
Abstract
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2020
- DOI:
- 10.48550/arXiv.2003.04964
- arXiv:
- arXiv:2003.04964
- Bibcode:
- 2020arXiv200304964K
- Keywords:
-
- Mathematics - Logic;
- 03B10;
- 03B25
- E-Print:
- arXiv admin note: text overlap with arXiv:1804.06367