Abstract

WARD HENSON, C.  and  TELLEZ, HERNANDO. Algebraic closure in continuous logic. Rev.colomb.mat. [online]. 2007, vol.41, suppl.1, pp.279-285. ISSN 0034-7426.

We study the algebraic closure construction for metric structures in the setting of continuous first order logic. We give several characterizations of algebraicity, and we prove basic properties analogous to ones that algebraic closure satisfies in classical first order logic.

Keywords : Continuous logic; metric structures; algebraic closure.

        · abstract in Spanish     · text in English     · English ( pdf )