The following pages link to Note on the fan theorem (Q4063418):
Displayed 9 items.
- Some axioms for constructive analysis (Q453178) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- Fragments of arithmetic (Q762484) (← links)
- Pointwise hereditary majorization and some applications (Q805612) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Further applications of ultra-conservative ω-rules (Q3318773) (← links)
- Some derived rules of intuitionistic second order arithmetic (Q4159055) (← links)
- On uniform weak König's lemma (Q5957854) (← links)