Notes on Fragments of First-Order Concatenation Theory

DOI10.1007/978-3-319-94418-0_25MaRDI QIDQ6300473arXivFDO

Authors Lars Kristiansen, Juvenal Murwanashyaka

Publication date 17 April 2018

Published in arXiv

Full work available at URL https://doi.org/10.1007/978-3-319-94418-0_25

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07)

arXiv classification

math.LO

Abstract: We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.

This page was built for publication: Notes on Fragments of First-Order Concatenation Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6300473)