scientific article; zbMATH DE number 3843743

MaRDI QIDQ3313858zbMATH OpenFDO

Authors Wim Veldman

Publication date 1982

zbMATH Keywords

countable choicefan theoremintuitionism

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Recommendations

• On choice principles and fan theorems
• On the contrapositive of countable choice
• Some axioms for constructive analysis
• On a weakening of Markov's Principle
• The contrapositive of countable choice for inhabited sets of naturals

Cited in

(14)

• On the Brouwerian concept of negative continuity
• Intuitionism: an inspiration?
• Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\)
• Intuitionistic choice and restricted classical logic
• On choice principles and fan theorems
• The contrapositive of countable choice for inhabited sets of naturals
• scientific article; zbMATH DE number 3171974 (Why is no real title available?)
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• A weak countable choice principle
• Countable Choice as a Questionable Uniformity Principle
• scientific article; zbMATH DE number 1932892 (Why is no real title available?)
• The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis
• On the contrapositive of countable choice
• The Fan Theorem, its strong negation, and the determinacy of games

This page was built for publication:

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