Advertisement

Introduction

  • Gaisi Takeuti
  • Wilson M. Zaring
Part of the Graduate Texts in Mathematics book series (GTM, volume 8)

Abstract

In this book, we present a useful technique for constructing models of Zermelo-Fraenkel set theory. Using the notion of Boolean valued relative constructibility, we will develop a theory of model construction. One feature of this theory is that it establishes a relationship between Cohen’s method of forcing and Scott-Solovay’s method of Boolean valued models.

Keywords

Boolean Algebra Model Construction Capital Letter Natural Order Zero Element 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag New York Inc. 1973

Authors and Affiliations

  • Gaisi Takeuti
    • 1
  • Wilson M. Zaring
    • 1
  1. 1.University of IllinoisUSA

Personalised recommendations