Show simple item record

dc.rights.licenseAtribución-NoComercial 4.0 Internacional
dc.contributor.authorFajardo V., Sergio
dc.date.accessioned2019-06-28T11:00:17Z
dc.date.available2019-06-28T11:00:17Z
dc.date.issued1980
dc.identifier.urihttps://repositorio.unal.edu.co/handle/unal/42618
dc.description.abstractEste artículo se refiere al estudio de extensiones de la lógica de primer orden (Lωω) que preservan ciertas propiedades fundamentales, y aumentan su poder expresivo, en el sentido de que permiten axiomatizar clases de estructuras no expresables  Lωω.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticas
dc.relationhttp://revistas.unal.edu.co/index.php/recolma/article/view/32286
dc.relation.ispartofUniversidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas
dc.relation.ispartofRevista Colombiana de Matemáticas
dc.relation.ispartofseriesRevista Colombiana de Matemáticas; Vol. 14, núm. 3 (1980); 173-196 0034-7426
dc.rightsDerechos reservados - Universidad Nacional de Colombia
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0/
dc.titleCompacidad y decidibilidad de lógicas monadicas 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/32715/
dc.relation.referencesFajardo V., Sergio (1980) Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales. Revista Colombiana de Matemáticas; Vol. 14, núm. 3 (1980); 173-196 0034-7426 .
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.subject.proposalEstudio
dc.subject.proposalextensiones de la lógica
dc.subject.proposalpropiedades fundamentales
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

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