The following pages link to (Q3803111):
Displayed 50 items.
- A constructive real projective plane (Q265603) (← links)
- Interpretation of constructive multi-typed theory in the theory of arithmetical truth (Q266212) (← links)
- Limit spaces with approximations (Q290635) (← links)
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← 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)
- Revisiting Zariski main theorem from a constructive point of view (Q402421) (← links)
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions (Q408489) (← 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)
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539) (← links)
- Almost new pre-apartness from old (Q424542) (← links)
- The intermediate value theorem in constructive mathematics without choice (Q424546) (← 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)
- Pluralism and proofs (Q488374) (← links)
- The computational content of Walras' existence theorem (Q632841) (← links)
- Beta-shifts, their languages, and computability (Q633763) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Computability of finite-dimensional linear subspaces and best approximation (Q638485) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- Reflections on function spaces (Q651312) (← links)
- Two subcategories of apartness spaces (Q651317) (← links)
- Lebesgue's dominated convergence theorem in Bishop's style (Q651319) (← links)
- Proof-relevance of families of setoids and identity in type theory (Q661282) (← links)
- Sets, complements and boundaries (Q675783) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- Effective versions of local connectivity properties (Q692887) (← links)
- An effective Carathéodory theorem (Q692891) (← links)
- Computing conformal maps of finitely connected domains onto canonical slit domains (Q692914) (← links)
- Continuum, name and paradox (Q707899) (← links)
- Preference, indifference, and Markov's principle (Q751944) (← links)
- Linear mappings are fairly well-behaved (Q752432) (← links)
- A recursive counterexample to Debreu's theorem on the existence of a utility function (Q811314) (← links)
- Extending strongly continuous functions between apartness spaces (Q818925) (← links)
- Insight in discrete geometry and computational content of a discrete model of the continuum (Q834257) (← links)
- Ideals in constructive Banach algebra theory (Q864422) (← links)
- Generalized functions with pseudobounded support in constructive mathematics (Q864428) (← links)
- Towards computability of elliptic boundary value problems in variational formulation (Q864435) (← links)
- Pre-apartness structures on spaces of functions (Q864436) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- Constructing local optima on a compact interval (Q868665) (← links)
- A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- Approximate interpolation by functions in a Haar space (Q909164) (← links)