Algebraic closure in continuous logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Algebraic closure in continuous logic
|
| Id. |
45870131 |
| Idioma |
spa
|
| Titulo |
Algebraic closure in continuous logic |
| Autor(es) |
Henson, C. Ward
Tellez, Hernando
|
| Localización |
http://dialnet.unirioja.es/servlet/oaiart?codigo=3010805
(Revista) ISSN 0034-7426
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
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.
|
| Palabras clave |
continuous logic
|
| Tipo de recurso |
text (article)
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
free |
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] Revista Colombiana de Matemáticas, ISSN 0034-7426, Vol. 41, Nº. 1, 2007, pags. 279-285
|
| Fecha de contribución |
16-jul-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
