Skip to main content Accesibility Help

Variations on a theme by Ishihara


Ishihara's tricks have proven to be a highly useful tool in constructive mathematics, since they enable one to make decisions that seem, on first glance, impossible. They do, however, require that one deals with strongly extensional mappings on complete spaces. In this short note, we show how these assumptions can be weakened. Furthermore, we apply these generalizations to give a partial answer to the question, whether constructively we can rule out the existence of injections from Baire space into the natural numbers, to a version of Riemann's per mutation theorem and to a classification problem about cardinalities in constructive reverse mathematics.

Hide All
Bauer, A. (2014) An injection from Baire space to natural numbers. In this volume.
Berger, J. and Bridges, D.S. (2009) Rearranging series constructively. Journal of Universal Computer Science 15 (17) 31603168.
Bishop, E. and Bridges, D. (1985) Constructive Analysis, Springer-Verlag.
Bridges, D. and Mahalanobis, A. (2001) Bounded variation implies regulated: A constructive proof. Journal of Symbolic Logic 66 (4) 16951700.
Bridges, D. S. and Vîţă, L. S. (2006) Techniques of Constructive Analysis, Universitext. Springer, New York, 2006.
Berger, J., Bridges, D. S., Diener, H. and Schwichtenberg, H. (2011) Constructive aspects of Riemann's permutation theorem for series. submitted for publication.
Ishihara, H. (1991) Continuity and nondiscontinuity in constructive mathematics. Journal of Symbolic Logic 56 (4) 13491354.
Ishihara, H. (1992) Continuity properties in constructive mathematics. Journal of Symbolic Logic 57 (2) 557565.
Lubarsky, R. and Diener, H. (2014) Principles weaker than BD-N. Journal of Symbolic Logic 78 (3) 6811024.
Recommend this journal

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

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
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