The following pages link to (Q3567851):
Displayed 4 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)