{
  "id": "math/9304203",
  "version": "v1",
  "published": "1993-04-15T00:00:00.000Z",
  "updated": "1993-04-15T00:00:00.000Z",
  "title": "The Consistency of $ZFC+CIFS$",
  "authors": [
    "Garvin Melles"
  ],
  "categories": [
    "math.LO"
  ],
  "abstract": "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.",
  "revisions": [
    {
      "version": "v1",
      "updated": "1993-04-15T00:00:00.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "consistency",
      "natural axiom schemata extending zfc",
      "natural closure condition",
      "compactness theorem",
      "natural generalization"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "1993math......4203M"
    }
  }
}