A continuity principle, a version of Baire's theorem and a boundedness principle
Hajime Ishihara, Peter M. Schuster · Journal of Symbolic Logic · 2008
Abstract We deal with a restricted form WC-N′ of the weak continuity principle, a version BT′ of Baire's theorem, and a boundedness principle BD-N. We show, in the spirit of constructive reverse mathematics, that WC-N′, BT′ + ¬LPO and BD-N + ¬LPO are equivalent in a constructive system, where LPO is the limited principle of omniscience.