Independence Results around Constructive ZF
Logic
2015-10-05 v1
Abstract
Using Kripke models, it is shown that CZF does not prove Power Set, and that CZF with Subset Collection substituted by Exponentiation does not prove Subset Collection.
Cite
@article{arxiv.1510.00465,
title = {Independence Results around Constructive ZF},
author = {Robert Lubarsky},
journal= {arXiv preprint arXiv:1510.00465},
year = {2015}
}