The following pages link to (Q3720593):
Displaying 5 items.
- Integrating classical and intuitionistic type theory (Q580341) (← links)
- Cardinality without enumeration (Q813080) (← links)
- Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator (Q1096625) (← links)
- 1998 Spring Meeting of the Association for Symbolic Logic (Q4212937) (← links)
- (Q4764119) (← links)
