直觉主义 Zermelo-Fraenkel 集合论的 De Jongh 定理
逻辑
2019-05-14 v1
摘要
我们证明直觉主义集合论 IZF 的命题逻辑是直觉主义命题逻辑 IPC。更一般地，我们表明 IZF 相对于每一个在有限树类上完备的中间逻辑具有 de Jongh 性质。对于 CZF 也得到相同结果。
引用
@article{arxiv.1905.04972,
title = {De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory},
author = {Robert Passmann},
journal= {arXiv preprint arXiv:1905.04972},
year = {2019}
}
备注
12 pages