The following pages link to (Q5718575):
Displaying 39 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539) (← links)
- The uniform boundedness theorem and a boundedness principle (Q424547) (← links)
- Some axioms for constructive analysis (Q453178) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- Finite sets and infinite sets in weak intuitionistic arithmetic (Q781509) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- A computable version of Banach's inverse mapping theorem (Q1006604) (← links)
- Problems, solutions, and completions (Q1044674) (← 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)
- Intuitionistic sequential compactness? (Q1788329) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- Reclassifying the antithesis of Specker's theorem (Q1938392) (← links)
- \(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582) (← links)
- An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis (Q2104258) (← links)
- Parallelizations in Weihrauch reducibility and constructive reverse mathematics (Q2106590) (← links)
- Minimum classical extensions of constructive theories (Q2117797) (← links)
- Constructive and mechanised meta-theory of intuitionistic epistemic logic (Q2151399) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Equivalents of the finitary non-deterministic inductive definitions (Q2311215) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611) (← links)
- The principle of pointfree continuity (Q3121524) (← links)
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (Q3195695) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- From Mathesis Universalis to Provability, Computability, and Constructivity (Q3305633) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- Weihrauch and constructive reducibility between existence statements (Q4995601) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
- König's lemma, weak König's lemma, and the decidable fan theorem (Q6047683) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
- Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807) (← links)
