Completeness of global intuitionistic set theory

DOI10.2307/2275544zbMATH Open0907.03023OpenAlexW2152456478MaRDI QIDQ4358052FDOQ4358052

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

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

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)

Cites Work

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

Cited In (8)

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

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)