Serviços Personalizados
Journal
Artigo
Indicadores
Citado por SciELO
Acessos
Links relacionados
Citado por Google
Similares em SciELO
Similares em Google
Compartilhar
Revista Colombiana de Matemáticas
versão impressa ISSN 0034-7426
Resumo
WARD HENSON, C. e TELLEZ, HERNANDO. Algebraic closure in continuous logic. Rev.colomb.mat. [online]. 2007, vol.41, suppl.1, pp.279-285. ISSN 0034-7426.
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.
Palavras-chave : Lógica continua; estructuras métricas; clausura algebraica.