Compactification of l(q)

Antonio M. Sette

José C. Cifuentes

pp. 247-252

in: Synthese 125, 2000.

Abstract

In this paper we extend the usual notion of model (asa structure) to the more general notion of CauchySequence of Structures in a similar way as rationalsare extending to real numbers by means of Cauchysequences of rationals. We show that the structurespace Stτ is dense in thecomplete space CStτ of Cauchysequences of structures and that CStτ is compact in the (topo)logicalsense.