The Consistency of $ZFC+CIFS$
Logic
2008-02-03 v1
Abstract
This paper is a technical continuation of ``Natural Axiom Schemata Extending ZFC. Truth in the Universe?'' In that paper we argue that is a natural axiom schema for the universe of sets. In particular it is a natural closure condition on and a natural generalization of Here we shall prove the consistency of relative to the existence of a transitive model of using the compactness theorem together with a class forcing.
Keywords
Cite
@article{arxiv.math/9304203,
title = {The Consistency of $ZFC+CIFS$},
author = {Garvin Melles},
journal= {arXiv preprint arXiv:math/9304203},
year = {2008}
}