A continuity principle, a version of Baire's theorem and a boundedness principle

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' + \neg LPO and BD-N + \neg LPO are equivalent in a constructive system, where LPO is the limited principle of omniscience.