Skip to main content

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

  • Hajime Ishihara (a1) and Peter Schuster (a2)

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.

Hide All
[1]Bishop, Errett, Foundations of constructive mathematics, McGraw-Hill, New York, 1967.
[2]Bishop, Errett and Bridges, Douglas, Constructive analysis, Springer, Berlin, 1985.
[3]Bridges, Douglas, Ishihara, Hajime, Schuster, Peter, and Vîţă, Luminiţa, Strong continuity implies uniformly sequential continuity. Archive for Mathematical Logic, vol. 44 (2005), pp. 887895.
[4]Bridges, Douglas, Ishihara, Hajime, and Vîţă, Luminiţa, A new constructive version of Baire's theorem, Hokkaido Mathematical Journal, vol. 35 (2006), pp. 107118.
[5]Bridges, Douglas and Richman, Fred, Varieties of constructive mathematics, London Mathematical Society Lecture Notes Series, vol. 97, Cambridge University Press, London, 1987.
[6]Bridges, Douglas and Vîţă, Luminiţa, Techniques of constructive analysis, Springer, New York, 2006.
[7]Ishihara, Hajime, Continuity and nondiscontinuity in constructive mathematics, this Journal, vol. 56 (1991), pp. 13491354.
[8]Ishihara, Hajime, Continuity properties in constructive mathematics, this Journal, vol. 57 (1992), pp. 557565.
[9]Ishihara, Hajime, Sequential continuity in constructive mathematics. Combinatorics, computability and logic (Calude, C. S.. Dinneen, M. J., and Sburlan, S., editors). Springer-Verlag, London, 2001, pp. 512.
[10]Ishihara, Hajime, Constructive reverse mathematics: compactness properties, From sets and types to analysis and topology (Crosilla, L. and Schuster, P., editors), Oxford Logic Guides 48, Oxford University Press, 2005, pp. 245267.
[11]Ishihara, Hajime, Reverse mathematics in Bishop's constructive mathematics, Philosophia Scientist, vol. 6 (2006), pp. 4359, Cahier special.
[12]Ishihara, Hajime and Yoshida, Satoru, A constructive look at the completeness of D(R), this Journal, vol. 67 (2002), pp. 15111519.
[13]Lietz, Peter, From constructive mathematics to computable analysis via realizability interpretation, Dissertation, Technische Universität Darmstadt, 2004.
[14]Loeb, Iris, Equivalents of the (weak) fan theorem, Annals of Pure and Applied Logic, vol, 132 (2005), pp. 5166.
[15]Negri, Sara and Soravia, Daniele, The continuum as a formal space, Archive for Mathematical Logic, vol. 38 (1999), pp. 423447.
[16]Richman, Fred, Inluitionistic notions of boundedness in N, preprint, 2007.
[17]Troelstra, Anne S. and van Dalen, Dirk, Constructivism in mathematics, vol. I and II, NorthHolland, Amsterdam, 1988.
[18]Veldman, Wim, A survey of intuitionistic descriptive set theory, Proceedings of the Heyting conference (Petkov, P. P., editor), Mathematical Logic, Plenum Press, New York and London, 1988, pp. 155174.
[19]Veldman, Wim, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, preprint, 2005, Radboud University, Nijmegen.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed