Pages that link to "Item:Q867405"

The following pages link to Weak König's lemma implies Brouwer's fan theorem: a direct proof (Q867405):

Displaying 8 items.

• A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle (Q306581) (← links)
• Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539) (← links)
• The binary expansion and the intermediate value theorem in constructive reverse mathematics (Q1712938) (← links)
• An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis (Q2104258) (← links)
• Die another day (Q2272192) (← links)
• A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← 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)