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

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1058448439

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

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

Through your library

My notes

Similar books and articles

Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Goal-directed proof theory.Dov M. Gabbay - 2000 - Boston: Kluwer Academic. Edited by Nicola Olivetti.
Theorem Proving via Uniform Proofs>.Alberto Momigliano - unknown
Uniform self-reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Tiering as a recursion technique.Harold Simmons - 2005 - Bulletin of Symbolic Logic 11 (3):321-350.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.

Analytics

Added to PP
2009-01-28

Downloads
42 (#357,971)

6 months
3 (#857,336)

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