Show simple item record

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

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.authorZambrano, Pedro
dc.date.accessioned2019-07-03T16:28:56Z
dc.date.available2019-07-03T16:28:56Z
dc.date.issued2005
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/73532
dc.description.abstractIn 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).
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherBoletín de Matemáticas
dc.relationhttp://revistas.unal.edu.co/index.php/bolma/article/view/40297
dc.relation.ispartofUniversidad Nacional de Colombia Revistas electrónicas UN Boletín de Matemáticas
dc.relation.ispartofBoletín de Matemáticas
dc.relation.ispartofseriesBoletí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.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.titleCats, the downward l¨owenheim-skolem-tarski theorem and the disjoint amalgamation property
dc.typeArtículo de revista
dc.type.driverinfo:eu-repo/semantics/article
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dc.identifier.eprintshttp://bdigital.unal.edu.co/38008/
dc.relation.referencesZambrano, 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.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalModel theory
dc.subject.proposalcompact abstract theories
dc.subject.proposalTarski-Vaught test
dc.subject.proposaldownward L¨owenheim-Skolem-Tarski theorem
dc.subject.proposaldisjoint amalgamation property.
dc.type.coarhttp://purl.org/coar/resource_type/c_6501
dc.type.coarversionhttp://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.contentText
dc.type.redcolhttp://purl.org/redcol/resource_type/ART
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail
Name:
40297-180836-1-PB.pdf
Size:
170.1Kb
Format:
PDF
Download

This item appears in the following Collection(s)

Show simple item record

Atribución-NoComercial 4.0 InternacionalThis work is licensed under a Creative Commons Reconocimiento-NoComercial 4.0.This document has been deposited by the author (s) under the following certificate of deposit