scientific article
From MaRDI portal
Publication:3852176
zbMath0419.03033MaRDI QIDQ3852176
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencywell-orderingsordinalsconstructible hierarchyHeyting- valued modelswell-founded relationZermelo-Fraenkel set theory based on intuitionistic logic
Consistency and independence results (03E35) Intuitionistic mathematics (03F55) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (24)
Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings ⋮ Globalization of intuitionistic set theory ⋮ Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator ⋮ On arithmetic in the Cantor-Łukasiewicz fuzzy set theory ⋮ NON-CLASSICAL FOUNDATIONS OF SET THEORY ⋮ Quantum set theory: transfer principle and De Morgan's laws ⋮ Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals ⋮ Topological forcing semantics with settling ⋮ \(\mathsf{ZF}\) and its interpretations ⋮ INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES ⋮ ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY ⋮ Effectivity properties of intuitionistic set theory with collection scheme ⋮ Generalizing realizability and Heyting models for constructive set theory ⋮ Constructive \(\lambda\)-models ⋮ Fuzzy sets and residuated logic ⋮ On the Cauchy Completeness of the Constructive Cauchy Reals ⋮ A natural interpretation of fuzzy sets and fuzzy relations ⋮ Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets ⋮ Constructing illoyal algebra-valued models of set theory ⋮ Global intuitionistic analysis ⋮ A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory ⋮ Formal frameworks for approximate reasoning ⋮ The lack of definable witnesses and provably recursive functions in intuitionistic set theories ⋮ Arithmetic transfinite induction and recursive well-orderings
This page was built for publication:
