Advertisement

Absoluteness

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

Abstract

A basic part of the interpretation of our theory is that each wff φ (x) expresses a property that a given individual a has or does not have according as φ (a) holds or does not hold. Then φ A (x) expresses the “same” or “corresponding” property for the universe A.

Keywords

Free Variable Wide Sense Transitive Model Deduction Theorem Inaccessible Cardinal 
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