A proof–technique in uniform space theory

Journal of Symbolic Logic 68 (3):795-802 (2003)
  Copy   BIBTEX

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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
82 (#275,110)

6 months
23 (#139,017)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Lebesgue’s dominated convergence theorem in Bishop’s style.Claudio Coen & Enrico Zoli - 2012 - Annals of Pure and Applied Logic 163 (2):140-150.

Add more citations

References found in this work

Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminiţa Vîţă - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminia Vî - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.

Add more references