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 18 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Reflections on function spaces (Q651312) (← links)
- Generalized functions with pseudobounded support in constructive mathematics (Q864428) (← links)
- A constructive theory of point-set nearness. (Q1427791) (← links)
- Constructive mathematics and quantum physics (Q1586444) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Apartness spaces as a framework for constructive topology (Q1861535) (← links)
- Controversies in the foundations of analysis: comments on Schubring's \textit{Conflicts} (Q2013410) (← links)
- Reasoning continuously: a formal construction of continuous proofs (Q2027208) (← links)
- The paradox of phase transitions in the light of constructive mathematics (Q2052650) (← links)
- Increasing, nondecreasing, and virtually continuous functions (Q2731275) (← links)
- Sequentially continuity in constructive mathematics (Q2752138) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- Concepts and Axioms (Q4224767) (← links)
- Weak continuity properties in constructive analysis (Q4255971) (← links)
- Mathematical Constructivism in Spacetime (Q4490097) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- (Q5829025) (← links)