The following pages link to Intensional set theory (Q3720593):
Displaying 17 items.
- Integrating classical and intuitionistic type theory (Q580341) (← links)
- On existence in set theory (Q691129) (← links)
- Intensionality in mathematics (Q762052) (← links)
- Cardinality without enumeration (Q813080) (← links)
- Globalization of intuitionistic set theory (Q1095903) (← links)
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator (Q1096625) (← links)
- Extensive forms and set-theoretic forms (Q1189349) (← links)
- Surveyable sets (Q1788328) (← links)
- Global intuitionistic analysis (Q1820781) (← links)
- Intuitive set theory (Q1975339) (← links)
- 1998 Spring Meeting of the Association for Symbolic Logic (Q4212937) (← links)
- (Q4764119) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)
- Logic Programming (Q5191486) (← links)
- Intuitionistic set theory (Q5498681) (← links)
- Intuitionistic sets and ordinals (Q5687312) (← links)
- Visualization of intuitive set theory (Q5948738) (← links)