Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales

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

Autores:
Fajardo V., Sergio
Tipo de recurso:
Article of journal
Fecha de publicación:
1980
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/42618
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/42618
http://bdigital.unal.edu.co/32715/
Palabra clave:
Estudio
extensiones de la lógica
propiedades fundamentales
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_bcbe0fb139dad45e8645174dad869f2f
oai_identifier_str oai:repositorio.unal.edu.co:unal/42618
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_abf2Fajardo V., Sergio4c752acd-f3ab-419e-84b1-3c5e9d826bb63002019-06-28T11:00:17Z2019-06-28T11:00:17Z1980https://repositorio.unal.edu.co/handle/unal/42618http://bdigital.unal.edu.co/32715/Este 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ωω.application/pdfspaUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticashttp://revistas.unal.edu.co/index.php/recolma/article/view/32286Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasRevista Colombiana de Matemáticas; Vol. 14, núm. 3 (1980); 173-196 0034-7426Fajardo 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 .Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinalesArtí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/ARTEstudioextensiones de la lógicapropiedades fundamentalesORIGINAL32286-119379-1-PB.pdfapplication/pdf6720810https://repositorio.unal.edu.co/bitstream/unal/42618/1/32286-119379-1-PB.pdf7b56a09ca4ea52ee5f3e27f2cd69f2baMD51THUMBNAIL32286-119379-1-PB.pdf.jpg32286-119379-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg6610https://repositorio.unal.edu.co/bitstream/unal/42618/2/32286-119379-1-PB.pdf.jpg49f712c999f6d82adfc3510f6a8c7248MD52unal/42618oai:repositorio.unal.edu.co:unal/426182023-02-08 23:04:54.099Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
title Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
spellingShingle Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
Estudio
extensiones de la lógica
propiedades fundamentales
title_short Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
title_full Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
title_fullStr Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
title_full_unstemmed Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
title_sort Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
dc.creator.fl_str_mv Fajardo V., Sergio
dc.contributor.author.spa.fl_str_mv Fajardo V., Sergio
dc.subject.proposal.spa.fl_str_mv Estudio
extensiones de la lógica
propiedades fundamentales
topic Estudio
extensiones de la lógica
propiedades fundamentales
description Este 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ωω.
publishDate 1980
dc.date.issued.spa.fl_str_mv 1980
dc.date.accessioned.spa.fl_str_mv 2019-06-28T11:00:17Z
dc.date.available.spa.fl_str_mv 2019-06-28T11:00:17Z
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/42618
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/32715/
url https://repositorio.unal.edu.co/handle/unal/42618
http://bdigital.unal.edu.co/32715/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/recolma/article/view/32286
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas
Revista Colombiana de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv Revista Colombiana de Matemáticas; Vol. 14, núm. 3 (1980); 173-196 0034-7426
dc.relation.references.spa.fl_str_mv Fajardo 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.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 Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/42618/1/32286-119379-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/42618/2/32286-119379-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 7b56a09ca4ea52ee5f3e27f2cd69f2ba
49f712c999f6d82adfc3510f6a8c7248
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_ 1814090248098938880