Repository | Journal | Volume | Articles

COPR BookmarkLink
237446

(2000) Synthese 125 (1-2).

Compactification of l(q)

Antonio Mario Sette, José Carlos Cifuentes

pp. 247-252

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.

Publication details

DOI: 10.1023/A:1005286322113

Full citation:

Sette, A. , Cifuentes, J. (2000). Compactification of l(q). Synthese 125 (1-2), pp. 247-252.