Ishihara's proof technique in constructive analysis

被引：4

作者：

Bridges, D

van Dalen, D

Ishihara, H

机构：

[1] Univ Canterbury, Dept Math & Stat, Christchurch 1, New Zealand

[2] Japan Adv Inst Sci & Technol, Sch Informat Sci, Tatsunokuchi, Ishikawa 92312, Japan

来源：

INDAGATIONES MATHEMATICAE-NEW SERIES | 2003年 / 14卷 / 02期

关键词：

D O I：

10.1016/S0019-3577(03)90001-2

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：163 / 168

页数：6

共 9 条

[1]

BEESON MJ, 1985, FDN CONSTRUCTIONS MA

[2]

Bishop E., 1967, Foundations of Constructive Analysis

[3]

Bishop E.A., 1985, GRUNDLEHREN MATH WIS, V279

[4]

Bridges D., 1987, LONDON MATH SOC LECT, V95

[5]

BRIDGES D, 2001, P KONINKLIJKE NEDERL, V11, P509

[6] CONTINUITY AND NONDISCONTINUITY IN CONSTRUCTIVE MATHEMATICS [J].

ISHIHARA, H .

JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (04) :1349-1354

[7] CONTINUITY PROPERTIES IN CONSTRUCTIVE MATHEMATICS [J].

ISHIHARA, H .

JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (02) :557-565

[8]

Ishihara H., 1994, NZ J MATH, V23, P71

[9]

Troelstra A., 1988, Studies in Logic and the Foundations of Mathematics, VI

← 1 →