Note on the fan theorem
From MaRDI portal
Publication:4063418
DOI10.2307/2272902zbMath0306.02026MaRDI 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
03F55: Intuitionistic mathematics
Related Items
On uniform weak König's lemma, Some axioms for constructive analysis, Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation, Fragments of arithmetic, Pointwise hereditary majorization and some applications, Things that can and things that cannot be done in PRA, Term extraction and Ramsey's theorem for pairs, Further applications of ultra-conservative ω-rules, Some derived rules of intuitionistic second order arithmetic
Cites Work