有限非确定性归纳定义的等价形式
逻辑
2019-06-25 v3
摘要
我们在构造性集合论 CZF 的弱子系统下，给出与 van den Berg（2013）的非确定性归纳定义（NID）原理某些片段等价的命题。我们表明，构造性拓扑中若干最初使用 NID 证明的命题等价于初等且有限的 NID。我们还表明有限 NID 等价于其二元片段，且初等 NID 等价于基于双闭子集概念的 NID 变体。我们的结果表明，在构造性拓扑中证明这些命题确实需要以初等或有限 NID 对 CZF 做真正扩充。
引用
@article{arxiv.1903.05852,
title = {Equivalents of the finitary non-deterministic inductive definitions},
author = {Ayana Hirata and Hajime Ishihara and Tatsuji Kawai and Takako Nemoto},
journal= {arXiv preprint arXiv:1903.05852},
year = {2019}
}
备注
Corrected some typographical errors