Non-classical models of ZF

DOI10.1007/S11225-020-09915-0MaRDI QIDQ2046876zbMATH OpenOpenAlexFDO

Authors 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

bicomplemented latticesBoolean-valued modelsnon-classical logicsset theoryZF

Mathematics Subject Classification ID

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

Recommendations

• The cyclic representations of the quantum algebra U_q(osp(2,1)) in terms of the Zⁿ-algebra
• Nonclassical birational models for \(\operatorname{Spec}\mathbb{Q}\)
• Bases of ZF0-models
• Noncommutativity and model building
• On the structure of classical realizability models of ZF
• scientific article; zbMATH DE number 958654
• scientific article; zbMATH DE number 4185594
• A quantum analog of the 𝒵 algebra
• Algebraic framework for quantization of nonultralocal models

Cites work

• Constructing illoyal algebra-valued models of set theory
• Generalized algebra-valued models of set theory
• scientific article; zbMATH DE number 2184445 (Why is no real title available?)

Cited in

(8)

• ZF between classicality and non-classicality
• Ideal objects for set theory
• Bases of ZF0-models
• NON-CLASSICAL FOUNDATIONS OF SET THEORY
• \(\mathsf{ZF}\) and its interpretations
• INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
• Basic mathematics beyond classicality
• A note on the axiom of choice in an iterative paraconsistent set theory

This page was built for publication: Non-classical models of \(\mathsf{ZF}\)

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