Pages that link to "Item:Q4128815"
From MaRDI portal
The following pages link to Extending Gödel's negative interpretation to ZF (Q4128815):
Displayed 11 items.
- Effectivity properties of intuitionistic set theory with collection scheme (Q650477) (← links)
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
- Globalization of intuitionistic set theory (Q1095903) (← links)
- The consistency of some intuitionistic and constructive principles with a set theory (Q1167160) (← links)
- Fuzzy logic and fuzzy set theory (Q1311425) (← links)
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory (Q3693510) (← links)
- Intuitionistic modal logic and set theory (Q3984426) (← links)
- Completeness of global intuitionistic set theory (Q4358052) (← links)
- IKP and friends (Q4451720) (← links)
- Models of intuitionistic TT and NF (Q4842637) (← links)
- Intuitionistic sets and ordinals (Q5687312) (← links)