Abstract

It is shown, directly and in two ways, that Brouwer’s fan theorem for detachable bars can be proved within Bishop-style constructive mathematics supplemented by (countably many applications of) the omniscience principle LLPO.

This content is only available as a PDF.
You do not currently have access to this article.