C. Ward Henson University of Illinois, Urbana-Champaign, USA
Hernando Tellez University of Illinois, Urbana-Champaign, USA
Resumen.
Estudiamos la
construcción de la clausura algebraica para estructuras métricas
en el contexto de la lógica continua de primer orden. Damos varias
caracterizaciones de algebricidad y probamos propiedades básicas
análogas a aquellas que satisface la clausura algebraica en lógica
clásica de primer orden.
Abstract.
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.
* Publicacion del número especial con el apoyo de Colciencias para el XV Congreso Nacional de Matemáticas
