Translator Disclaimer
December 2008 A continuity principle, a version of Baire's theorem and a boundedness principle
Hajime Ishihara, Peter Schuster
J. Symbolic Logic 73(4): 1354-1360 (December 2008). DOI: 10.2178/jsl/1230396924

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

Download 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

Published: December 2008
First available in Project Euclid: 27 December 2008

zbMATH: 1160.03041
MathSciNet: MR2467222
Digital Object Identifier: 10.2178/jsl/1230396924

Rights: Copyright © 2008 Association for Symbolic Logic

JOURNAL ARTICLE
7 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.73 • No. 4 • December 2008
Back to Top