Advertisement

Models

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

Abstract

We turn now to the very interesting subject of models of set theory. Intuitively by a model of set theory we mean a system in which the axioms and theorems of ZF are true. Such a system must consist of a domain of objects that we interpret as the universe V of our theory and a binary relation that we interpret as the ϵ-relation of our theory.

Keywords

Induction Hypothesis Binary Relation Free Variable Predicate Symbol Standard Structure 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1971

Authors and Affiliations

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

Personalised recommendations