Pages that link to "Item:Q6047683"

The following pages link to König's lemma, weak König's lemma, and the decidable fan theorem (Q6047683):

Displaying 2 items.

• An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis (Q2104258) (← links)
• Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807) (← links)