Translator Disclaimer
September 2003 A proof—technique in uniform space theory
Douglas Bridges, Luminiţa Vîţă
J. Symbolic Logic 68(3): 795-802 (September 2003). DOI: 10.2178/jsl/1058448439

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

Download 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

Published: September 2003
First available in Project Euclid: 17 July 2003

zbMATH: 1075.03033
MathSciNet: MR2000078
Digital Object Identifier: 10.2178/jsl/1058448439

Subjects:
Primary: 03B60 , 03F60

Rights: Copyright © 2003 Association for Symbolic Logic

JOURNAL ARTICLE
8 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.68 • No. 3 • September 2003
Back to Top