Ishihara's proof technique in constructive analysis |
| |
Authors: | Douglas Bridges |
| |
Institution: | a Department of Mathematics & Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand b Heidelberglaan 8, 3584 CS Utrecht, P. O. Box 80.126, 3508 TC Utrecht, Netherlands c School of Information Science, Japan Advanced Institute of Science and Technology, Tatsunokuchi, Ishikawa 923-12, Japan |
| |
Abstract: | Two surprising constructive lemmas of Ishihara, with extremely useful proof techniques, are placed in a general setting. This both clarifies the ideas underlying those lemmas and raises the possibility that some other applications of their proof techniques in constructive analysis are, in fact, corollaries of our general results. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|