Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.authorVargas, Francisco
dc.date.accessioned2019-07-03T16:33:19Z
dc.date.available2019-07-03T16:33:19Z
dc.date.issued2005
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/73586
dc.description.abstractHacemos una presentación del problema de la compacidad paraalgunas lógicas con cuantificadores generalizados. Se recurre luego a las ideas de la prueba de compacidad de Fraïssé para dar una demostración topológica de la compacidad enumerable de los fragmentos monádicos de las lógicas con cuantificadores cardinales. Se obtienen otros resultados usando la misma construcción.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherBoletín de Matemáticas
dc.relationhttp://revistas.unal.edu.co/index.php/bolma/article/view/40406
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. 2 (2005); 114-136 Boletín de Matemáticas; Vol. 12, núm. 2 (2005); 114-136 2357-6529 0120-0380
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.titleCompacidad en lógicas con cuantificadores cardinales
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/38062/
dc.relation.referencesVargas, Francisco (2005) Compacidad en lógicas con cuantificadores cardinales. Boletín de Matemáticas; Vol. 12, núm. 2 (2005); 114-136 Boletín de Matemáticas; Vol. 12, núm. 2 (2005); 114-136 2357-6529 0120-0380 .
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalTeoría de modelos
dc.subject.proposalcuantificadores generalizados
dc.subject.proposalteorema de compacidad
dc.subject.proposalisomorfismos parciales
dc.subject.proposalmétodos topológicos.
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/ARTREF
oaire.accessrightshttp://purl.org/coar/access_right/c_abf2


Files in this item

Thumbnail

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