The following pages link to Intuitionistic set theory (Q5498681):
Displaying 17 items.
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- Globalization of intuitionistic set theory (Q1095903) (← links)
- The intuitionistic alternative set theory (Q1208081) (← links)
- Transference theorems and intuitionistic set theory (Q1595703) (← links)
- \(U\)-Sets as a possibilistic set theory (Q1827315) (← links)
- Intuitive set theory (Q1975339) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- Intuitionistic set theory: or how to construct semi-rings. Part III (Q2753393) (← links)
- Interval-Valued Intuitionistic Multiplicative Sets (Q3194986) (← links)
- Intensional set theory (Q3720593) (← links)
- (Q4553278) (← links)
- (Q4680361) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)
- Ordering groups constructively (Q5238136) (← links)
- Intuitionistic sets and ordinals (Q5687312) (← links)
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124) (← links)
- Maximal elements with minimal logic (Q6161463) (← links)