Advertisement

Relative Constructibility

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

Abstract

Godel’s constructibility was generalized, in a natural way, by Levy and Shoenfield to a relative constructibility which assures us of the existence of a standard transitive model L[a] of ZF for each set a. Levy-Shoenfield’s relative constructibility is rather narrow but quite easily generalized. Ln this section we will study a general theory of relative constructibility and deal with several basic relative constructibilities as special cases. Later we will extend our relative constructibility to Boolean valued relative constructibility from which we will in turn define forcing.

Keywords

Free Variable Transitive Closure Predicate Symbol Relative Constructibility Axiom Schema 
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 New York Inc. 1973

Authors and Affiliations

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

Personalised recommendations