Note on the fan theorem
From MaRDI portal
Publication:4063418
DOI10.2307/2272902zbMath0306.02026OpenAlexW1973446732MaRDI QIDQ4063418
Publication date: 1974
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272902
Related Items (11)
Term extraction and Ramsey's theorem for pairs ⋮ König's lemma, weak König's lemma, and the decidable fan theorem ⋮ Some axioms for constructive analysis ⋮ Things that can and things that cannot be done in PRA ⋮ Further applications of ultra-conservative ω-rules ⋮ Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation ⋮ Some derived rules of intuitionistic second order arithmetic ⋮ On uniform weak König's lemma ⋮ Fragments of arithmetic ⋮ Pointwise hereditary majorization and some applications ⋮ Minimum classical extensions of constructive theories
Cites Work
This page was built for publication: Note on the fan theorem
