弱本质不可判定拼接理论 II
逻辑
2021-12-30 v1
摘要
我们证明了可以在不带序列编码的算术理论中解释拼接理论。
引用
@article{arxiv.2112.13907,
title = {Weak Essentially Undecidable Theories of Concatenation II},
author = {Juvenal Murwanashyaka},
journal= {arXiv preprint arXiv:2112.13907},
year = {2021}
}