Non-classical models of \(\mathsf{ZF}\)

DOI10.1007/s11225-020-09915-0OpenAlexW3041601981MaRDI QIDQ2046876

S. Jockwich Martinez, Giorgio Venturi

Publication date: 19 August 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09915-0

zbMATH Keywords

set theoryBoolean-valued modelsnon-classical logicsZFbicomplemented lattices

Mathematics Subject Classification ID

Varieties of lattices (06B20) Paraconsistent logics (03B53) Other aspects of forcing and Boolean-valued models (03E40) Generalizations of Boolean algebras (06E75)

Related Items

Ideal objects for set theory ⋮ NON-CLASSICAL FOUNDATIONS OF SET THEORY ⋮ \(\mathsf{ZF}\) and its interpretations ⋮ INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES ⋮ ZF between classicality and non-classicality

Cites Work

• Constructing illoyal algebra-valued models of set theory
• GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
• Unnamed Item