机译:构造性Zermelo-Fraenkel集理论的析取及相关性质
constructive set theory; realizability; metamathematical property; EXISTENCE PROPERTY; STRENGTH;
机译:构造性Zermelo-Fraenkel集理论的析取及相关性质
机译:集合的局部理论是分类理论的基础,并且与Zermelo-Freankel集合论相关
机译:Singleton集是否符合选择公理的Zermelo-Fraenkel集理论?
机译:用类型的建设性集理论的可实现性和存在性质
机译:物理特性不确定性对化学过程设计的影响(模糊集理论,可靠性,概率)。
机译:ANI-1ccx和ANI-1x数据集分子的耦合簇和密度泛函理论性质
机译:建设性的zermelo-fraenkel集合论,幂集和构造的微积分