Pages that link to "Item:Q3910521"
From MaRDI portal
The following pages link to The continuum hypothesis in intuitionism (Q3910521):
Displaying 8 items.
- Retracing Cantor's first steps in Brouwer's company (Q1688956) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Using Brouwer's continuity principle to pick stocks (Q2348770) (← links)
- On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions (Q2505640) (← links)
- Spreads or choice sequences? (Q4018173) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)
