Constructing illoyal algebra-valued models of set theory

DOI10.1007/s00012-021-00735-4OpenAlexW3175879018MaRDI QIDQ2046361

Sourav Tarafder, Benedikt Loewe, Robert Paßmann

Publication date: 17 August 2021

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-021-00735-4

zbMATH Keywords

non-classical set theoryalgebra-valued models

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20) Other aspects of forcing and Boolean-valued models (03E40) Intermediate logics (03B55)

Related Items (5)

\(\mathsf{ZF}\) and its interpretations ⋮ INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES ⋮ On negation for non-classical set theories ⋮ Non-classical models of \(\mathsf{ZF}\) ⋮ ZF between classicality and non-classicality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intermediate logics and the de Jongh property
• Some questions about Boolean algebras
• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• A lattice-valued set theory
• Fuzzy logic and fuzzy set theory
• Quantum set theory
• Skolem's discovery of Gödel-Dummett logic
• On negation for non-classical set theories
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory
• A propositional calculus with denumerable matrix
• ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
• A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory
• GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
• Transfer principle in quantum set theory
• Logic with truth values in A linearly ordered heyting algebra

This page was built for publication: Constructing illoyal algebra-valued models of set theory