Pages that link to "Item:Q2505640"
From MaRDI portal
The following pages link to On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions (Q2505640):
Displaying 6 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Reflections on function spaces (Q651312) (← links)
- A constructive theory of point-set nearness. (Q1427791) (← links)
- Apartness spaces as a framework for constructive topology (Q1861535) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
