开放归纳片段中的 Shepherdson 定理
逻辑
2017-01-10 v1
摘要
根据 Shepherdson 的一个著名结果，理论 IOpen（一种一阶算术，包含对所有无量词公式的归纳模式）的模型恰好是所有离散有序半环，这些半环是其实闭包的整数部分。本文证明了几个类似的结果，为 IOpen 的各种片段提供了代数等价刻画。
引用
@article{arxiv.1701.02001,
title = {Shepherdson's theorems for fragments of open induction},
author = {Jana Glivická and Petr Glivický},
journal= {arXiv preprint arXiv:1701.02001},
year = {2017}
}