The following pages link to Techniques of constructive analysis (Q850934):
Displayed 50 items.
- A constructive real projective plane (Q265603) (← links)
- Apartness spaces and uniform neighbourhood structures (Q290645) (← links)
- A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle (Q306581) (← links)
- Basic notions of (constructive) semigroups with apartness (Q309964) (← links)
- Convexity and constructive infima (Q334985) (← links)
- Competitive equilibrium with intuitionistic agents (Q408315) (← links)
- A proof of constructive version of Brouwer's fixed point theorem with uniform sequential continuity (Q420168) (← links)
- Equivalence between the existence of an approximate equilibrium in a competitive economy and Sperner's lemma: a constructive analysis (Q420181) (← links)
- A predicative completion of a uniform space (Q424538) (← links)
- The uniform boundedness theorem and a boundedness principle (Q424547) (← links)
- Constructing the minimal period of homomorphisms into \(\mathbb R^n\) (Q441370) (← links)
- Compactness notions for an apartness space (Q453202) (← links)
- The computational content of Walras' existence theorem (Q632841) (← links)
- Computability of finite-dimensional linear subspaces and best approximation (Q638485) (← links)
- Two subcategories of apartness spaces (Q651317) (← links)
- Constructing local optima on a compact interval (Q868665) (← links)
- The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← links)
- Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience) (Q945261) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Glueing continuous functions constructively (Q982187) (← links)
- The Gibbard-Satterthwaite theorem of social choice theory in an infinite society and LPO (limited principle of omniscience) (Q990626) (← links)
- Continuity and Lipschitz constants for projections (Q1044668) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- A constructive version of the Sylvester-Gallai theorem (Q1701339) (← links)
- Convexity and unique minimum points (Q1712926) (← links)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
- A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem (Q1734272) (← links)
- Constructive harmonic conjugates (Q1740712) (← links)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- Reclassifying the antithesis of Specker's theorem (Q1938392) (← links)
- Completeness: when enough is enough (Q2003502) (← links)
- McShane-Whitney pairs (Q2011674) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- On Farkas' lemma and related propositions in BISH (Q2067640) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- A categorical reading of the numerical existence property in constructive foundations (Q2080594) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Functions of Baire class one over a Bishop topology (Q2106607) (← links)
- On mathematical realism and applicability of hyperreals (Q2323044) (← links)
- Constructive notions of equicontinuity (Q2391094) (← links)
- Inverse semigroups with apartness (Q2416389) (← links)
- Constructing the Infimum of Two Projections (Q2891301) (← links)
- A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces (Q2988845) (← links)
- ERNA and Friedman's Reverse Mathematics (Q3011124) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- 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)