Skip to main content Accessibility help
×
Home

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

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

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

Copyright

References

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.

Related content

Powered by UNSILO

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

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

Metrics

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.