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)

Review text

The author gives a complete theory for the class of all sheaf models, i.e. of all those cumulative set theoretic universes which are constructed like the Boolean-valued models, however with a complete Heyting algebra as value structure. The basic logic for this theory is intuitionistic logic enriched however with a unary ``globalization operator, characterized by a truth value function which maps the universal upper bound of the truth value structure to itself, and all other elements to the universal lower bound. The main problem then is to introduce in this extended language for intuitionistic logic a suitable implication connective, and suitable membership and identity predicates, to get suitable variants of (ZF-like) set-theoretic axioms. The essential proof system is a version of Gentzen's sequent calculus LJ.

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)