activity
20182025
most citedNotes on Fragments of First-Order Concatenation Theory

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing 2021 · math.LOShow all

2 papers · 2 filters

math.LO2021

Weak Essentially Undecidable Theories of Concatenation II

Juvenal Murwanashyaka

We show that we can interpret concatenation theories in arithmetical theories without coding sequences.

math.LO2021

Undecidability in First-Order Theories of Term Algebras Extended with a Substitution Operator

Juvenal Murwanashyaka

We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Prob…