Completeness of global intuitionistic set theory

DOI10.2307/2275544MaRDI QIDQ4358052zbMATH OpenOpenAlexFDO

Authors Satoko Titani

Publication date 2 March 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275544

zbMATH Keywords

intuitionistic logicintuitionistic set theorysheaf models

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical and second-order set theories (03E70)

Recommendations

• The Semantic Completeness of a Global Intuitionistic Logic
• scientific article; zbMATH DE number 1169382
• Exact completion and constructive theories of sets
• Completeness and incompleteness for intuitionistic logic
• Globalization of intuitionistic set theory
• scientific article; zbMATH DE number 2152228
• Completeness of the infinitary polyadic axiomatization
• Global quantification in Zermelo-Fraenkel set theory
• Complete Axiomatisations of Properties of Finite Sets
• Intensional completeness in an extension of Gödel/Dummett logic

Cites work

• Extending Gödel's negative interpretation to ZF
• Globalization of intuitionistic set theory

Cited in

(9)

• Note on witnessed Gödel logics with Delta
• Globalization of intuitionistic set theory
• A proof-theoretical investigation of global intuitionistic (fuzzy) logic
• Global intuitionistic analysis
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches
• The Semantic Completeness of a Global Intuitionistic Logic
• Hypersequent calculi for intuitionistic logic with classical atoms
• A natural interpretation of fuzzy sets and fuzzy relations

This page was built for publication: Completeness of global intuitionistic set theory

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