arXiv Open Access 2021

Weak Essentially Undecidable Theories of Concatenation II

Juvenal Murwanashyaka

Lihat Sumber

Abstrak

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

math.LO

Juvenal Murwanashyaka

APA MLA BibTeX

Murwanashyaka, J. (2021). Weak Essentially Undecidable Theories of Concatenation II. https://arxiv.org/abs/2112.13907

Lihat di Sumber

Informasi Jurnal