Non-Deterministic Inductive Definitions and Fullness
Non-Deterministic Inductive Definitions and Fullness
复制标题
非确定性归纳定义和完整性
DOI：
10.1515/9781501502620-010
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
H. Ishihara
中科院分区：
文献类型：
--
作者：
Takako Nemoto;H. Ishihara
本文利用货车den贝格提出的弱集生成类概念和Aczel等人采用的强集生成类概念，讨论了非确定性归纳定义原理NID.我们引入了一个原则，称为零NID，并证明了零NID是等价于在一个子系统的建设性Zermelo-Fraenkel集理论的充实。
In this paper, we deal with the non-deterministic inductive definition principle NID with the weak notion of a set-generated class introduced by van den Berg and with the strong notion of a set-generated class adopted by Aczel et al.. We introduce a principle, called nullary NID, and prove that nullary NID is equivalent to Fullness in a subsystem of the constructive Zermelo-Fraenkel set theory.