关于良序理论的一个注记
逻辑
2025-03-26 v4 计算机科学中的逻辑
摘要
我们给出了一个简单的证明，表明良序的一阶理论由超限归纳公理化，并且它是可判定的。
引用
@article{arxiv.2405.05779,
title = {A note on the theory of well orders},
author = {Emil Jeřábek},
journal= {arXiv preprint arXiv:2405.05779},
year = {2025}
}
备注
4 pages; accepted to the Bulletin of Symbolic Logic