Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
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 proper...
- Autores:
-
Zambrano, Pedro
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2005
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/73532
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/73532
http://bdigital.unal.edu.co/38008/
- Palabra clave:
- Model theory
compact abstract theories
Tarski-Vaught test
downward L¨owenheim-Skolem-Tarski theorem
disjoint amalgamation property.
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| 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). |
|---|