Ishihara's proof technique in constructive analysis
Publication date
2003-06-23
Authors
Bridges, D.
van Dalen, D.
Ishihara, H.
Editors
Advisors
Supervisors
Document Type
Article
Metadata
Show full item recordCollections
License
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
Citation
Bridges, D, van Dalen, D & Ishihara, H 2003, 'Ishihara's proof technique in constructive analysis', Indagationes Mathematicae, vol. 14, pp. 163-168. https://doi.org/10.1016/S0019-3577(03)90001-2