The Journal of Symbolic Logic

Research Article

A proof–technique in uniform space theory

Douglas Bridgesa1 and Luminiţa Vîţăa2

a1 Department of Mathematics & Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand, E-mail: d.bridges@math.canterbury.ac.nz

a2 Department of Mathematics & Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand, E-mail: l.vita@math.canterbury.ac.nz

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 in several different situations.

(Received September 06 2002)

(Revised December 23 2002)