Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
Type
Artículo de revista
Document language
EspañolPublication Date
2005Metadata
Mostrar registro completoCita
Summary
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).Keywords
Collections
- Boletín de Matemáticas [688]
Exceto quando indicado o contrário, a licença deste item é descrito como Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit