Cauchy completeness in elementary logic
José Carlos Cifuentes, Antonio M. A. Sette, Daniele Mundici · Journal of Symbolic Logic · 1996
Abstract The inverse of the distance between two structures ≢ of finite typeτis naturally measured by the smallest integerqsuch that a sentence of quantifier rankq− 1 is satisfied by but not by . In this way the space Strτof structures of typeτis equipped with a pseudometric. The induced topology coincides with the elementary topology of Strτ. Using the rudiments of the theory of uniform spaces, in this elementary note we prove the convergence of every Cauchy net of structures, for any typeτ.