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.
Citation
Hajime Ishihara. Peter Schuster. "A continuity principle, a version of Baire's theorem and a boundedness principle." J. Symbolic Logic 73 (4) 1354 - 1360, December 2008. https://doi.org/10.2178/jsl/1230396924
Information