The Consistency of $ZFC+CIFS$
| dc.creator | Melles, Garvin | |
| dc.date | 1993-04-15 | |
| dc.date.accessioned | 2026-07-07T09:14:53Z | |
| dc.date.available | 2026-07-07T09:14:53Z | |
| dc.description | This paper is a technical continuation of ``Natural Axiom Schemata Extending ZFC. Truth in the Universe?'' In that paper we argue that $CIFS$ is a natural axiom schema for the universe of sets. In particular it is a natural closure condition on $V$ and a natural generalization of $IFS(L).$ Here we shall prove the consistency of $ZFC\ +\ CIFS$ relative to the existence of a transitive model of $ZFC$ using the compactness theorem together with a class forcing. | |
| dc.identifier | https://arxiv.org/abs/math/9304203 | |
| dc.identifier | http://arxiv.org/abs/math/9304203 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/152838 | |
| dc.subject | Logic | |
| dc.title | The Consistency of $ZFC+CIFS$ | |
| dc.type | text |