Almost the fan theorem.

MaRDI QIDQ3643322zbMATH OpenFDO

Authors Wim Veldman

Publication date 11 November 2009

Full work available at URL http://www.math.leidenuniv.nl/~naw/serie5/deel02/dec2001/pdf/wveldman.pdf

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• scientific article; zbMATH DE number 5676623
• On the Brouwerian concept of negative continuity
• New Computational Paradigms
• scientific article; zbMATH DE number 2212005
• scientific article; zbMATH DE number 1795233

Cited in

(7)

• Intuitionism: an inspiration?
• Bolzano and uniform continuity
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• An induction principle over real numbers
• The principle of open induction on \([0, 1]\) and the approximate-fan theorem
• On some of Brouwer's axioms
• The Fan Theorem, its strong negation, and the determinacy of games

This page was built for publication: Almost the fan theorem.

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