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

Journal of Symbolic Logic 73 (4):1354-1360 (2008)


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

Download options


    Upload a copy of this work     Papers currently archived: 72,856

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

24 (#479,042)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Schuster
University of Leeds

References found in this work

Equivalents of the (Weak) Fan Theorem.Iris Loeb - 2005 - Annals of Pure and Applied Logic 132 (1):51-66.
The Continuum as a Formal Space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.

Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

Continuity and Nondiscontinuity in Constructive Mathematics.Hajime Ishihara - 1991 - Journal of Symbolic Logic 56 (4):1349-1354.
The Principle of Continuity and Leibniz's Theory of Consciousness.Larry M. Jorgensen - 2009 - Journal of the History of Philosophy 47 (2):pp. 223-248.
The Harm Principle.Nils Holtug - 2002 - Ethical Theory and Moral Practice 5 (4):357-389.
Formulating the Precautionary Principle.Neil A. Manson - 2002 - Environmental Ethics 24 (3):263-274.
Value and Unacceptable Risk.Gustaf Arrhenius & Wlodek Rabinowicz - 2005 - Economics and Philosophy 21 (2):177-197.
Chance, Credence, and the Principal Principle.Robert Black - 1998 - British Journal for the Philosophy of Science 49 (3):371-385.