An exposition of forcing

  • Mostowski A
  • 1


    Mendeley users who have this article in their library.
  • 0


    Citations of this article.


This chapter describes Zermelo–Fraenkel (ZF) set theory method with some modifications and applies it to a proof that the continuum hypothesis is independent of ZF. The language of ZF is the first order language with identity and with one binary predicate ε. The chapter denotes this language by L. The logical symbols, which are used, are defined. The chapter defines the logical symbols and eight axioms of ZF, including axiom of extensionality, existence of pairs, existence of unions, existence of power sets, existence of infinite sets, axiom of foundation, axiom scheme of comprehension, and axiom scheme of replacement. The meta-theory in which the chapter studies models of ZF will be the set theory ZFC enriched by one additional axiom SM due to Cohen. © 1979, PWN-Polish Scientific Publisheres.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • A. Mostowski

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free