-
Views
-
Cite
Cite
D. S. Bridges, J. E. Dent, M. N. McKubre-Jordens, Two direct proofs that LLPO implies the detachable fan theorem, Logic Journal of the IGPL, Volume 21, Issue 5, October 2013, Pages 830–835, https://doi.org/10.1093/jigpal/jzt003
- Share Icon Share
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.
© The Author 2013. Published by Oxford University Press. All rights reserved. For Permissions, please email: [email protected]
Issue Section:
Original Articles
You do not currently have access to this article.