A General Constructive Proof Technique

被引：3

作者：

Bridges, Douglas ^{[1
]}

Vita, Luminita ^{[1
]}

机构：

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

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 120卷

关键词：

Uniform structure; constructive mathematics;

D O I：

10.1016/j.entcs.2004.06.032

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In the constructive theory of uniform spaces there occurs a technique of proof in which the application of a weak form of the law of excluded middle is circumvented by purely analytic means. The essence of this proof-technique is extracted and then applied to three important problems in the theory of apartness and uniformity.

引用

页码：31 / 43

页数：13

共 15 条

[1]

BEESON M, 1985, FDN CONSTRUCTIVE MAT

[2]

Bishop E., 1985, GRUNDLAGEN MATH WISS, V279

[3]

Bourbaki N., 1966, GEN TOPOLOGY 1

[4] A weak countable choice principle [J].

Bridges, D ;

Richman, F ;

Schuster, P .

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2000, 128 (09) :2749-2752

[5] Ishihara's proof technique in constructive analysis [J].

Bridges, D ;

van Dalen, D ;

Ishihara, H .

INDAGATIONES MATHEMATICAE-NEW SERIES, 2003, 14 (02) :163-168

[6] A proof-technique in uniform space theory [J].

Bridges, D ;

Vita, L .

JOURNAL OF SYMBOLIC LOGIC, 2003, 68 (03) :795-802

[7] Apartness spaces as a framework for constructive topology [J].

Bridges, D ;

Vita, L .

ANNALS OF PURE AND APPLIED LOGIC, 2003, 119 (1-3) :61-83

[8]

Bridges D., 2004, J SYMBOLIC LOGIC

[9]

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

[10]

Bridges D., 2001, STRONG CONTINUITY IM

← 1 2 →