The following pages link to Techniques of constructive analysis (Q850934):
Displaying 28 items.
- A constructive treatment of Urysohn's Lemma in an apartness space (Q3419669) (← links)
- Continuity properties of preference relations (Q3528140) (← links)
- Continuous homomorphisms of R onto a compact group (Q3552396) (← links)
- Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics (Q3586016) (← links)
- A constructive analysis of <b>RM</b> (Q3781069) (← links)
- BROUWER’S FAN THEOREM AND CONVEXITY (Q4647099) (← links)
- (Q4801671) (← links)
- Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces (Q4918004) (← links)
- Continuity Properties of Preference Relations (Q4918026) (← links)
- Continuous isomorphisms from <b>R</b> onto a complete abelian group (Q4931099) (← links)
- Constructive Game Logic (Q5041088) (← links)
- The Arrow-Hahn Construction in a Locally Compact Metric Space (Q5132606) (← links)
- Extensional constructive real analysis via locators (Q5156769) (← links)
- Co-quasiordered residuated systems: An introduction (Q5193474) (← links)
- (Q5216312) (← links)
- (Q5379646) (← links)
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 (Q5387300) (← links)
- The pseudocompactness of [0.1] is equivalent to the uniform continuity theorem (Q5444707) (← links)
- Product a‐frames and proximity (Q5448612) (← links)
- Real numbers and other completions (Q5448620) (← links)
- A continuity principle, a version of Baire's theorem and a boundedness principle (Q5502822) (← links)
- Intuitionistic notions of boundedness in ℕ (Q5505139) (← links)
- Generalized geometric theories and set-generated classes (Q5740664) (← links)
- Variations on a theme by Ishihara (Q5740670) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Wormholes, superfast computations, and Selivanov's theorem (Q6561174) (← links)
- Sufficient convexity and best approximation (Q6670892) (← links)
