SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE

Abstract

Smyth completeness is the appropriate notion of completeness for quasi-uniform spaces carrying an additional topology to serve as domains of computation [2, 3]. The goal of this paper is to provide a better understanding of Smyth completeness by giving a characterization in terms of nets. We develop the notion of computational Cauchy net and an appropriate notion of strong convergence to get the result that a space is Smyth complete if and only if every computational Cauchy net strongly converges. As we are dealing with typically non-symmetric spaces, this is not an instance of the classical net-filter translation in general topology.