Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property

Zambrano, Pedro (2005) Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property. Boletín de Matemáticas; Vol. 12, núm. 1 (2005); 19-28 Boletín de Matemáticas; Vol. 12, núm. 1 (2005); 19-28 2357-6529 0120-0380 .

Texto completo

[img]
Vista previa
PDF
174kB

URL oficial: http://revistas.unal.edu.co/index.php/bolma/articl...

Resumen

In this paper we prove that cats (compact abstract theories,see [Be03]) satisfy a version of Tarski-Vaught test (Theorem 3.1), a version of DLST (downward L¨owenheim-Skolem Tarski) theorem using density character instead of cardinality (Theorem 3.3) and the DAP property (disjoint amalgamation property, Theorem 4.3).

Tipo de documento:Artículo - Article
Palabras clave:Model theory, compact abstract theories, Tarski-Vaught test, downward L¨owenheim-Skolem-Tarski theorem, disjoint amalgamation property.
Unidad administrativa:Revistas electrónicas UN > Boletín de Matemáticas
Código ID:38008
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :03 Julio 2014 18:27
Ultima modificación:31 Enero 2018 19:06
Ultima modificación:31 Enero 2018 19:06
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Metabiblioteca OAIster BASE BDCOL Registry of Open Access Repositories SNAAC Red de repositorios latinoamericanos eprints Open archives La referencia Tesis latinoamericanas OpenDOAR CLACSO
Este sitio web se ve mejor en Firefox