paper

Weak Essentially Undecidable Theories of Concatenation II

arXiv:2112.13907

Abstract

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