Pages that link to "Item:Q1712938"
From MaRDI portal
The following pages link to The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938):
Displayed 8 items.
- 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)
- Constructive Proofs of Negated Statements (Q3305626) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- Weihrauch and constructive reducibility between existence statements (Q4995601) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- König's lemma, weak König's lemma, and the decidable fan theorem (Q6047683) (← links)
- Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807) (← links)