scientific article
From MaRDI portal
Publication:3939796
zbMath0482.03023MaRDI QIDQ3939796
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
topological propertiescomplete Heyting algebraexistence predicategeneralization of the method of Cohen's permutation model
Heyting algebras (lattice-theoretic aspects) (06D20) Models of arithmetic and set theory (03C62) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (10)
Unitary quantum relativity (work in progress) ⋮ Globalization of intuitionistic set theory ⋮ The logical quantization of algebraic groups ⋮ Quantal sets and sheaves over quantales ⋮ On arithmetic in the Cantor-Łukasiewicz fuzzy set theory ⋮ Heyting valued considerations on some fundamental existence theorems in modern analysis ⋮ Quantum sets and Clifford algebras ⋮ A natural interpretation of fuzzy sets and fuzzy relations ⋮ Heyting valued set theory and Sato hyperfunctions ⋮ Global intuitionistic analysis
This page was built for publication: