Pages that link to "Item:Q6047683"
From MaRDI portal
The following pages link to König's lemma, weak König's lemma, and the decidable fan theorem (Q6047683):
Displaying 5 items.
- Weak König's lemma implies Brouwer's fan theorem: a direct proof (Q867405) (← links)
- An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis (Q2104258) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
- Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807) (← links)
- Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice (Q6111740) (← links)