Weakly Cauchy filters and quasi-uniform completeness

Abstract

[EN] It is well-known that the notion of a Smyth complete quasi-uniform space provides an appropriate notion of completeness to study many interesting quasi-metric spaces which appear in theoretical computer science. We observe that several of these spaces actually possess a stronger form of completeness based on the use of weakly Cauchy filters in the sense of H. H. Corson and we develop a theory of completion and completeness for this kind of filters. In parallel, we also study a more general notion of completeness based on the use of certain stable filters. Thus our results extend and generalize important theorems of Á. Császár, J. R. Isbell and N. R. Howes on uniform completeness.