Compacidad en lógicas con cuantificadores cardinales

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

Full description

Autores:
Vargas, Francisco
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/73586
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/73586
http://bdigital.unal.edu.co/38062/
Palabra clave:
Teoría de modelos
cuantificadores generalizados
teorema de compacidad
isomorfismos parciales
métodos topológicos.
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_67a294897cfdda0092e3d2a4e3ee79e6
oai_identifier_str oai:repositorio.unal.edu.co:unal/73586
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_abf2Vargas, Francisco86ff516f-d26d-4b6a-8cd3-5b053ec619823002019-07-03T16:33:19Z2019-07-03T16:33:19Z2005https://repositorio.unal.edu.co/handle/unal/73586http://bdigital.unal.edu.co/38062/Hacemos 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.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/40406Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletí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-0380Vargas, 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 .Compacidad en lógicas 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/ARTTeoría de modeloscuantificadores generalizadosteorema de compacidadisomorfismos parcialesmétodos topológicos.ORIGINAL40406-181349-1-PB.pdfapplication/pdf246451https://repositorio.unal.edu.co/bitstream/unal/73586/1/40406-181349-1-PB.pdf826d274cdec04db69f7df8777fbbd75eMD51THUMBNAIL40406-181349-1-PB.pdf.jpg40406-181349-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg4669https://repositorio.unal.edu.co/bitstream/unal/73586/2/40406-181349-1-PB.pdf.jpgfd8d91b82e8916f67834228c1456e7b1MD52unal/73586oai:repositorio.unal.edu.co:unal/735862024-06-24 23:50:18.849Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Compacidad en lógicas con cuantificadores cardinales
title Compacidad en lógicas con cuantificadores cardinales
spellingShingle Compacidad en lógicas con cuantificadores cardinales
Teoría de modelos
cuantificadores generalizados
teorema de compacidad
isomorfismos parciales
métodos topológicos.
title_short Compacidad en lógicas con cuantificadores cardinales
title_full Compacidad en lógicas con cuantificadores cardinales
title_fullStr Compacidad en lógicas con cuantificadores cardinales
title_full_unstemmed Compacidad en lógicas con cuantificadores cardinales
title_sort Compacidad en lógicas con cuantificadores cardinales
dc.creator.fl_str_mv Vargas, Francisco
dc.contributor.author.spa.fl_str_mv Vargas, Francisco
dc.subject.proposal.spa.fl_str_mv Teoría de modelos
cuantificadores generalizados
teorema de compacidad
isomorfismos parciales
métodos topológicos.
topic Teoría de modelos
cuantificadores generalizados
teorema de compacidad
isomorfismos parciales
métodos topológicos.
description Hacemos 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.
publishDate 2005
dc.date.issued.spa.fl_str_mv 2005
dc.date.accessioned.spa.fl_str_mv 2019-07-03T16:33:19Z
dc.date.available.spa.fl_str_mv 2019-07-03T16:33:19Z
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/73586
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/38062/
url https://repositorio.unal.edu.co/handle/unal/73586
http://bdigital.unal.edu.co/38062/
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/40406
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. 2 (2005); 114-136 Boletín de Matemáticas; Vol. 12, núm. 2 (2005); 114-136 2357-6529 0120-0380
dc.relation.references.spa.fl_str_mv Vargas, 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.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/73586/1/40406-181349-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/73586/2/40406-181349-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 826d274cdec04db69f7df8777fbbd75e
fd8d91b82e8916f67834228c1456e7b1
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_ 1814089280227639296

Publicaciones similares