Note on the fan theorem

DOI10.2307/2272902zbMATH Open0306.02026OpenAlexW1973446732MaRDI QIDQ4063418FDOQ4063418

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)

Cites Work

• Title not available (Why is that?)

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
• Some derived rules of intuitionistic second order arithmetic
• Minimum classical extensions of constructive theories
• 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)