Weak Essentially Undecidable Theories of Concatenation II
Logic
2021-12-30 v1
Abstract
We show that we can interpret concatenation theories in arithmetical theories without coding sequences.
Keywords
Cite
@article{arxiv.2112.13907,
title = {Weak Essentially Undecidable Theories of Concatenation II},
author = {Juvenal Murwanashyaka},
journal= {arXiv preprint arXiv:2112.13907},
year = {2021}
}