The following pages link to (Q4289237):
Displaying 5 items.
- Broadening the iterative conception of set (Q1422104) (← links)
- Approximating Cartesian closed categories in NF-style set theories (Q1702983) (← links)
- Symmetry as a criterion for comprehension motivating Quine's `New Foundations' (Q2426734) (← links)
- (Q4956001) (← links)
- Towards proof-theoretic formulation of the general theory of term-forming operators (Q6541148) (← links)