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

(11)

• Some axioms for constructive analysis
• Pointwise hereditary majorization and some applications
• Fragments of arithmetic
• On uniform weak König's lemma
• König's lemma, weak König's lemma, and the decidable fan theorem
• Further applications of ultra-conservative ω-rules
• Term extraction and Ramsey's theorem for pairs
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Minimum classical extensions of constructive theories
• Some derived rules of intuitionistic second order arithmetic
• Things that can and things that cannot be done in PRA

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)