Pages that link to "Item:Q5412172"
From MaRDI portal
The following pages link to The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice (Q5412172):
Displaying 6 items.
- Weak König's lemma implies Brouwer's fan theorem: a direct proof (Q867405) (← links)
- The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
- Parallelizations in Weihrauch reducibility and constructive reverse mathematics (Q2106590) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- (Q5224156) (← links)
- Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice (Q6111740) (← links)