A proof—technique in uniform space theory

Bridges, Douglas; Vîţă, Luminiţa

J. Symbolic Logic, Tome 68 (2003) no. 1, p. 795- 802 / Harvested from Project Euclid

Résumé

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.

Publié le : 2003-09-14
Classification: 03B60, 03F60

@article{1058448439,
     author = {Bridges, Douglas and V\^\i \c t\u a, Lumini\c ta},
     title = {A proof---technique in uniform space theory},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 795- 802},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1058448439}
}

Bridges, Douglas; Vîţă, Luminiţa. A proof—technique in uniform space theory. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  795- 802. http://gdmltest.u-ga.fr/item/1058448439/