Intuitionistic set theory
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)
Recommendations
Cited in
(23)- Globalization of intuitionistic set theory
- The intuitionistic alternative set theory
- Transference theorems and intuitionistic set theory
- \(U\)-Sets as a possibilistic set theory
- Intuitive set theory
- Radical theory of Scott-open filters
- Intuitionistic set theory: or how to construct semi-rings. Part III
- Interval-Valued Intuitionistic Multiplicative Sets
- scientific article; zbMATH DE number 3950520 (Why is no real title available?)
- On the quantificational logic of intuitionistic set theory
- Extension by conservation. Sikorski's theorem
- scientific article; zbMATH DE number 2172973 (Why is no real title available?)
- Intuitionistic fixed point theories over set theories
- Set theory with a proper class of indiscernibles
- Ordering groups constructively
- Intuitionistic sets and ordinals
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
- Maximal elements with minimal logic
- Implicative models of set theory
- Paraconsistent models of Zermelo-Fraenkel set theory
- A classical-modal interpretation of smooth infinitesimal analysis
- Very large set axioms over constructive set theories
- A model of connexive set theory
This page was built for publication: Intuitionistic set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5498681)
