| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118901 | Annals of Pure and Applied Logic | 2005 | 17 Pages |
Abstract
CZF is an intuitionistic set theory that does not contain Power Set, substituting instead a weaker version, Subset Collection. In this paper a Kripke model of CZF is presented in which Power Set is false. In addition, another Kripke model is presented of CZF with Subset Collection replaced by Exponentiation, in which Subset Collection fails.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Robert S. Lubarsky,