The following pages link to (Q4941995):
Displayed 5 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Two simple sets that are not positively Borel (Q2488272) (← links)
- Equality and equivalence, intuitionistically (Q2658274) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)