De Jongh's Theorem for Intuitionistic Zermelo-Fraenkel Set Theory
Logic
2019-05-14 v1
Abstract
We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with respect to a class of finite trees. The same results follow for CZF.
Keywords
Cite
@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}
}
Comments
12 pages