Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 16 / Issue 18

available in:   PDF (115 kB) PS (258 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-016-18-2556


On Choice Principles and Fan Theorems

Hannes Diener (Universit├Ąt Siegen, Germany)

Peter Schuster (University of Leeds, United Kingdom)

Abstract: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan theorem. It has turned out that continuous choice is unnecessary in this context, and that a weak form of the fan theorem suffices which holds in the presence of countable choice. In particular, the contrapositive of countable binary choice is valid in Bishop-style constructive mathematics. We further discuss a generalisation of this result and link it to Ishihara's boundedness principle BD-N.

Keywords: constructive mathematics, countable choice, fan theorem

Categories: G.0