Ishihara's proof technique in constructive analysis

D. Bridges; D. van Dalen; H. Ishihara

doi:10.1016/S0019-3577(03)90001-2

Ishihara's proof technique in constructive analysis

D. Bridges, D. van Dalen, H. Ishihara

Utrecht University

extern

Research output: Contribution to journal › Article › Academic › peer-review

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.

Original language	English
Pages (from-to)	163-168
Number of pages	6
Journal	Indagationes Mathematicae
Volume	14
DOIs	https://doi.org/10.1016/S0019-3577(03)90001-2
Publication status	Published - 23 Jun 2003

Access to Document

10.1016/S0019-3577(03)90001-2

Cite this

@article{710e84bdf1b74722b6f5023d8aa78e19,

title = "Ishihara's proof technique in constructive analysis",

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.",

author = "D. Bridges and {van Dalen}, D. and H. Ishihara",

year = "2003",

month = jun,

day = "23",

doi = "10.1016/S0019-3577(03)90001-2",

language = "English",

volume = "14",

pages = "163--168",

journal = "Indagationes Mathematicae",

issn = "0019-3577",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - Ishihara's proof technique in constructive analysis

AU - Bridges, D.

AU - van Dalen, D.

AU - Ishihara, H.

PY - 2003/6/23

Y1 - 2003/6/23

N2 - 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.

AB - 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.

U2 - 10.1016/S0019-3577(03)90001-2

DO - 10.1016/S0019-3577(03)90001-2

M3 - Article

SN - 0019-3577

VL - 14

SP - 163

EP - 168

JO - Indagationes Mathematicae

JF - Indagationes Mathematicae

ER -

Ishihara's proof technique in constructive analysis

Abstract

Access to Document

Fingerprint

Cite this