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.
Citation
Douglas Bridges. Luminiţa Vîţă. "A proof—technique in uniform space theory." J. Symbolic Logic 68 (3) 795 - 802, September 2003. https://doi.org/10.2178/jsl/1058448439
Information
