Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 68, Issue 3 (2003), 795- 802.
A proof—technique in uniform space theory
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.
J. Symbolic Logic, Volume 68, Issue 3 (2003), 795- 802.
First available in Project Euclid: 17 July 2003
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Bridges, Douglas; Vîţă, Luminiţa. A proof—technique in uniform space theory. J. Symbolic Logic 68 (2003), no. 3, 795-- 802. doi:10.2178/jsl/1058448439. https://projecteuclid.org/euclid.jsl/1058448439