The following pages link to (Q4981453):
Displayed 3 items.
- An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis (Q2104258) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)
- König's lemma, weak König's lemma, and the decidable fan theorem (Q6047683) (← links)