Hajime Ishihara, Ray Mines  Home/Search
Context
Related
| jaist.ac.jp/is/labs/ishih...vcpca.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: jaist.ac.jp/is/lab...ishiharapub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper deals with continuity properties of functions f : X ! Y between metric spaces X and Y within the framework of Bishop's constructive mathematics. We concentrate on the situation when X is not complete. We investigate the relations between the properties of nondiscontinuity, sequential continuity, mapping Cauchy sequences to totally bounded sequences, and a certain boundedness condition. 1. Introduction In constructive mathematics, investigations into conditions that ensure... (Update)
Active bibliography (related documents): More All
1.2: Constructive Closed Range and Open Mapping Theorems - Bridges, Ishihara (1998) (Correct)
0.9: Sequentially Continuous Linear Mappings in Constructive Analysis - Bridges, Mines (1987) (Correct)
0.3: Constructive Mathematics, in Theory and Programming Practice - Bridges, Reeves (1997) (Correct)
Similar documents based on text: More All
0.6: On weak Markov's principle - Kohlenbach (Correct)
0.3: Constructive Mathematics and Quantum Physics - Bridges, Svozil (1999) (Correct)
0.2: Sets, Complements and Boundaries - Bridges, Richman, Yuchuan (Correct)
BibTeX entry: (Update)
@misc{ ishihara-various,
author = "Hajime Ishihara and Ray Mines",
title = "Various Continuity Properties in Constructive Analysis",
url = "citeseer.ist.psu.edu/272151.html" }
Citations (may not include all citations):112 Constructivism in Mathematics (context) - Troelstra, van Dalen - 1988
99 Foundations of Constructive Analysis (context) - Bishop - 1967
34 Intuitionism - an Introduction (context) - Heyting - 1971
25 Varieties of constructive mathematics (context) - Bridges, Richman - 1987
9 Lectures on Constructive Mathematical Analysis (context) - Kushner - 1985
8 Grundlehren der math (context) - Bishop, Bridges et al. - 1985
4 A constructive version of Banach's inverse mapping theorem (context) - Ishihara - 1994
4 Continuity properties in constructive mathematics (context) - Ishihara - 1992
3 Sequentially continuous linear mappings in constructive anal.. - Bridges, Mines - 1998
2 Sequential continuity of linear mappings in constructive mat.. (context) - Ishihara - 1997
1 Beweis dass jede volle Funktion gleichmassigstetig ist (context) - Brouwer - 1924
1 enissables et fonctionelles recursives (context) - Kreisel, Lacombe et al. - 1957
1 CONTINUITY PROPERTIES IN CONSTRUCTIVE ANALYSIS (context) - Ishihara, nondiscontinuity et al. - 1991
1 Church's thesis and Lindelof's theorem (context) - Ishihara, principle - 1993
1 undung der Funktionenlehre unabhangig vom logischen Satz vo.. (context) - Brouwer - 1923
1 Nieuw Archief voor Wiskunde (context) - Troelstra, continuity - 1967
1 Weak continuity properties in constructive analysis (context) - Bridges, Dediu - 1998
1 Constructivism inMathematics (context) - Troelstra, van Dalen - 1988
Documents on the same site (http://www.jaist.ac.jp/is/labs/ishihara-lab/ishihara-pub.html): More
Locating Subsets Of A Hilbert Space - Ishihara (1998) (Correct)
Constructive Closed Range and Open Mapping Theorems - Bridges, Ishihara (1998) (Correct)
Completeness of Intersection and Union Type Assignment.. - Ishihara, Kurata (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC