所有合理算术理论的可解释性逻辑
逻辑
2020-04-28 v1
摘要
这篇写于 2000 年的论文呈现了当时一个研究现状,即所有合理算术理论的可解释性逻辑问题。我们同时给出该问题的算术侧面与模态侧面。
引用
@article{arxiv.2004.12685,
title = {The interpretability logic of all reasonable arithmetical theories},
author = {Joost J. Joosten and Albert Visser},
journal= {arXiv preprint arXiv:2004.12685},
year = {2020}
}