scientific article; zbMATH DE number 3756467

MaRDI QIDQ3939796zbMATH OpenFDO

Authors Gaisi Takeuti, Satoko Titani

Publication date 1981

zbMATH Keywords

complete Heyting algebraexistence predicategeneralization of the method of Cohen's permutation modeltopological properties

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other aspects of forcing and Boolean-valued models (03E40) Intuitionistic mathematics (03F55) Heyting algebras (lattice-theoretic aspects) (06D20)

Cited in

(10)

• Globalization of intuitionistic set theory
• Heyting valued considerations on some fundamental existence theorems in modern analysis
• Quantum sets and Clifford algebras
• Heyting valued set theory and Sato hyperfunctions
• Global intuitionistic analysis
• The logical quantization of algebraic groups
• Quantal sets and sheaves over quantales
• Unitary quantum relativity (work in progress)
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• A natural interpretation of fuzzy sets and fuzzy relations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3939796)