The following pages link to (Q4552754):
Displaying 12 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Brouwer's weak counterexamples and the creative subject: a critical survey (Q830395) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Reverse mathematics of the uncountability of \(\mathbb{R}\) (Q2104277) (← links)
- Formally computing with the non-computable (Q2117773) (← links)
- Betwixt Turing and Kleene (Q2151412) (← links)
- Two simple sets that are not positively Borel (Q2488272) (← links)
- Equality and equivalence, intuitionistically (Q2658274) (← links)
- Higher-order concepts for the potential infinite (Q2682910) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)
