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...

Full description

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
id UNACIONAL2_a4500aad064bc8fafbd1f061b4a6063f
oai_identifier_str oai:repositorio.unal.edu.co:unal/73532
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Zambrano, Pedrod903fb4e-e3c3-4051-b86c-31f689503f873002019-07-03T16:28:56Z2019-07-03T16:28:56Z2005https://repositorio.unal.edu.co/handle/unal/73532http://bdigital.unal.edu.co/38008/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).application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/40297Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletí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-0380Zambrano, 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 .Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation propertyArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTModel theorycompact abstract theoriesTarski-Vaught testdownward L¨owenheim-Skolem-Tarski theoremdisjoint amalgamation property.ORIGINAL40297-180836-1-PB.pdfapplication/pdf174201https://repositorio.unal.edu.co/bitstream/unal/73532/1/40297-180836-1-PB.pdfd1030cb99d9a5e6b98cf505060e5f352MD51THUMBNAIL40297-180836-1-PB.pdf.jpg40297-180836-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg4909https://repositorio.unal.edu.co/bitstream/unal/73532/2/40297-180836-1-PB.pdf.jpge986ebf0ae443702f254c2b6950fe2e9MD52unal/73532oai:repositorio.unal.edu.co:unal/735322024-06-24 23:49:40.285Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
title Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
spellingShingle Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
Model theory
compact abstract theories
Tarski-Vaught test
downward L¨owenheim-Skolem-Tarski theorem
disjoint amalgamation property.
title_short Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
title_full Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
title_fullStr Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
title_full_unstemmed Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
title_sort Cats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
dc.creator.fl_str_mv Zambrano, Pedro
dc.contributor.author.spa.fl_str_mv Zambrano, Pedro
dc.subject.proposal.spa.fl_str_mv Model theory
compact abstract theories
Tarski-Vaught test
downward L¨owenheim-Skolem-Tarski theorem
disjoint amalgamation property.
topic Model theory
compact abstract theories
Tarski-Vaught test
downward L¨owenheim-Skolem-Tarski theorem
disjoint amalgamation property.
description 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).
publishDate 2005
dc.date.issued.spa.fl_str_mv 2005
dc.date.accessioned.spa.fl_str_mv 2019-07-03T16:28:56Z
dc.date.available.spa.fl_str_mv 2019-07-03T16:28:56Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/73532
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/38008/
url https://repositorio.unal.edu.co/handle/unal/73532
http://bdigital.unal.edu.co/38008/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/bolma/article/view/40297
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
Boletín de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv 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
dc.relation.references.spa.fl_str_mv 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 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Boletín de Matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/73532/1/40297-180836-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/73532/2/40297-180836-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv d1030cb99d9a5e6b98cf505060e5f352
e986ebf0ae443702f254c2b6950fe2e9
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089642812637184

Publicaciones similares