Note on the fan theorem

DOI10.2307/2272902MaRDI QIDQ4063418zbMATH OpenOpenAlexFDO

Authors A. S. Troelstra

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

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cited in

(14)

• Things that can and things that cannot be done in PRA
• Minimum classical extensions of constructive theories
• Term extraction and Ramsey's theorem for pairs
• Further applications of ultra-conservative ω-rules
• Some derived rules of intuitionistic second order arithmetic
• Some axioms for constructive analysis
• On uniform weak König's lemma
• König's lemma, weak König's lemma, and the decidable fan theorem
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• The principle of open induction on \([0, 1]\) and the approximate-fan theorem
• The Fan Theorem, its strong negation, and the determinacy of games
• Constructive substitutes for Kőnig's lemma
• Fragments of arithmetic
• Pointwise hereditary majorization and some applications

This page was built for publication: Note on the fan theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4063418)