Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9655987 | Electronic Notes in Theoretical Computer Science | 2005 | 13 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Douglas Bridges, LuminiÅ£a VîţÄ,