The following pages link to (Q3754620):
Displaying 50 items.
- A constructive real projective plane (Q265603) (← links)
- Monotone operators and first category sets (Q270055) (← links)
- Limit spaces with approximations (Q290635) (← links)
- The intrinsic topology of Martin-Löf universes (Q290640) (← 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)
- 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)
- Brouwer's fixed point theorem with isolated fixed points and his fan theorem (Q408490) (← 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)
- Some axioms for constructive analysis (Q453178) (← links)
- Compactness notions for an apartness space (Q453202) (← links)
- Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics (Q462852) (← links)
- Pluralism and proofs (Q488374) (← links)
- The computational content of Walras' existence theorem (Q632841) (← links)
- Beta-shifts, their languages, and computability (Q633763) (← links)
- The double negation of the intermediate value theorem (Q636312) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- Reflections on function spaces (Q651312) (← links)
- Two subcategories of apartness spaces (Q651317) (← links)
- Sets, complements and boundaries (Q675783) (← links)
- Real analysis in paraconsistent logic (Q692184) (← links)
- A very weak Nullstellensatz over Heyting fields (Q698628) (← links)
- Equivalents of the (weak) fan theorem (Q703836) (← links)
- Isomorphism is equality (Q740487) (← links)
- Preference, indifference, and Markov's principle (Q751944) (← links)
- Linear mappings are fairly well-behaved (Q752432) (← links)
- Finite sets and infinite sets in weak intuitionistic arithmetic (Q781509) (← links)
- A recursive counterexample to Debreu's theorem on the existence of a utility function (Q811314) (← links)
- Mathematics based on incremental learning -- excluded middle and inductive inference (Q817838) (← links)
- Extending strongly continuous functions between apartness spaces (Q818925) (← links)
- Brouwer's weak counterexamples and the creative subject: a critical survey (Q830395) (← links)
- Ideals in constructive Banach algebra theory (Q864422) (← links)
- Pre-apartness structures on spaces of functions (Q864436) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Constructing local optima on a compact interval (Q868665) (← links)
- A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
- Borel complexity and computability of the Hahn-Banach theorem (Q926175) (← links)
- The anti-Specker property, a Heine-Borel property, and uniform continuity (Q926186) (← links)
- On the universality of peptide computing (Q926519) (← links)
