一个满足强版本Tennenbaum定理的理论
逻辑
2023-09-22 v1
摘要
我们回答了 Pakhomov 的一个问题，证明存在一个一致、可计算枚举（c.e.）的理论 ，使得任何与 定义等价理论都没有可计算模型。我们证明中的一个关键工具是模型论概念“互代数性”（mutual algebraicity）。
引用
@article{arxiv.2309.11598,
title = {A theory satisfying a strong version of Tennenbaum's theorem},
author = {Patrick Lutz and James Walsh},
journal= {arXiv preprint arXiv:2309.11598},
year = {2023}
}
备注
21 pages