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