Heyting valued universes of intuitionistic set theory

  • Gaisi Takeuti
  • Satoko Titani
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 891)


Induction Hypothesis Heyting Algebra Sheaf Representation Uniqueness Principle Logical Symbol 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M. P. Fourman and D. S. Scott: Sheaves and Logic. Applications of Sheaves ed. by Fourman, Mulvey and Scott, pp 302–401. Lecture Notes in Mathematics 753, Springer, 1979.Google Scholar
  2. [2]
    R. J. Grayson: Heyting valued models for intuitionistic set theory. Ibid. pp 402–414.MathSciNetCrossRefzbMATHGoogle Scholar
  3. [3]
    R. J. Grayson: A sheaf approach to models of set theory. M. Sc. Thesis, Oxford 1975.Google Scholar
  4. [4]
    D. S. Scott: Lectures on Boolean-valued models for set theory. Lecture notes of the U. C. L. A. Summer Institute on Set Theory, 1967.Google Scholar
  5. [5]
    R. M. Solovey and S. Tennenbaum: Iterated Cohen extensions and Souslin's problem. Annals of Math., Vol. 94, pp 201–245, 1971.CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag 1981

Authors and Affiliations

  • Gaisi Takeuti
  • Satoko Titani

There are no affiliations available

Personalised recommendations