Una contribución a la teoría de modelos de kripke para el intuicionismo

Se estudia la semántica de Kripke para la lógica intuicionista.En primer lugar se encuentra una amplia clase de órdenes para los cuales el teorema sobre la existencia de modelos de Kripke de teorías intuicionistas consistentes es válido. Mediante una codificación de prehaces como estructurasclásicas...

Full description

Autores:
Montoya, Juan Andrés
Tipo de recurso:
Article of journal
Fecha de publicación:
2003
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/73517
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/73517
http://bdigital.unal.edu.co/37993/
Palabra clave:
prehaces
lógica intuicionista
forzamiento.
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_c2ed782aee443588c6ea9e972c3a955b
oai_identifier_str oai:repositorio.unal.edu.co:unal/73517
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_abf2Montoya, Juan Andrés37f4b116-6590-4985-a0e5-0d774d15a5ed3002019-07-03T16:27:53Z2019-07-03T16:27:53Z2003https://repositorio.unal.edu.co/handle/unal/73517http://bdigital.unal.edu.co/37993/Se estudia la semántica de Kripke para la lógica intuicionista.En primer lugar se encuentra una amplia clase de órdenes para los cuales el teorema sobre la existencia de modelos de Kripke de teorías intuicionistas consistentes es válido. Mediante una codificación de prehaces como estructurasclásicas se demuestra un teorema tipo Lowenheim-Skolem descendente y un teorema tipo Lowenheim-Skolem ascendente. Finalmente se introduce una construcción de ultraproductos para prehaces, se estudian sus propiedades elementales y se utilizan para probar algunos resultados parciales acerca de axiomatizabilidad de clases de prehaces.application/pdfspaBoletín de Matemáticashttp://revistas.unal.edu.co/index.php/bolma/article/view/40280Universidad Nacional de Colombia Revistas electrónicas UN Boletín de MatemáticasBoletín de MatemáticasBoletín de Matemáticas; Vol. 10, núm. 2 (2003); 92-109 Boletín de Matemáticas; Vol. 10, núm. 2 (2003); 92-109 2357-6529 0120-0380Montoya, Juan Andrés (2003) Una contribución a la teoría de modelos de kripke para el intuicionismo. Boletín de Matemáticas; Vol. 10, núm. 2 (2003); 92-109 Boletín de Matemáticas; Vol. 10, núm. 2 (2003); 92-109 2357-6529 0120-0380 .Una contribución a la teoría de modelos de kripke para el intuicionismoArtí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/ARTprehaceslógica intuicionistaforzamiento.ORIGINAL40280-180771-1-PB.pdfapplication/pdf208523https://repositorio.unal.edu.co/bitstream/unal/73517/1/40280-180771-1-PB.pdfdf888af29b668e996a51c81b8097696eMD51THUMBNAIL40280-180771-1-PB.pdf.jpg40280-180771-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg4920https://repositorio.unal.edu.co/bitstream/unal/73517/2/40280-180771-1-PB.pdf.jpgcc6a5504b5eeb004de14693b866cf392MD52unal/73517oai:repositorio.unal.edu.co:unal/735172023-06-29 23:03:35.03Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Una contribución a la teoría de modelos de kripke para el intuicionismo
title Una contribución a la teoría de modelos de kripke para el intuicionismo
spellingShingle Una contribución a la teoría de modelos de kripke para el intuicionismo
prehaces
lógica intuicionista
forzamiento.
title_short Una contribución a la teoría de modelos de kripke para el intuicionismo
title_full Una contribución a la teoría de modelos de kripke para el intuicionismo
title_fullStr Una contribución a la teoría de modelos de kripke para el intuicionismo
title_full_unstemmed Una contribución a la teoría de modelos de kripke para el intuicionismo
title_sort Una contribución a la teoría de modelos de kripke para el intuicionismo
dc.creator.fl_str_mv Montoya, Juan Andrés
dc.contributor.author.spa.fl_str_mv Montoya, Juan Andrés
dc.subject.proposal.spa.fl_str_mv prehaces
lógica intuicionista
forzamiento.
topic prehaces
lógica intuicionista
forzamiento.
description Se estudia la semántica de Kripke para la lógica intuicionista.En primer lugar se encuentra una amplia clase de órdenes para los cuales el teorema sobre la existencia de modelos de Kripke de teorías intuicionistas consistentes es válido. Mediante una codificación de prehaces como estructurasclásicas se demuestra un teorema tipo Lowenheim-Skolem descendente y un teorema tipo Lowenheim-Skolem ascendente. Finalmente se introduce una construcción de ultraproductos para prehaces, se estudian sus propiedades elementales y se utilizan para probar algunos resultados parciales acerca de axiomatizabilidad de clases de prehaces.
publishDate 2003
dc.date.issued.spa.fl_str_mv 2003
dc.date.accessioned.spa.fl_str_mv 2019-07-03T16:27:53Z
dc.date.available.spa.fl_str_mv 2019-07-03T16:27:53Z
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/73517
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/37993/
url https://repositorio.unal.edu.co/handle/unal/73517
http://bdigital.unal.edu.co/37993/
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/40280
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. 10, núm. 2 (2003); 92-109 Boletín de Matemáticas; Vol. 10, núm. 2 (2003); 92-109 2357-6529 0120-0380
dc.relation.references.spa.fl_str_mv Montoya, Juan Andrés (2003) Una contribución a la teoría de modelos de kripke para el intuicionismo. Boletín de Matemáticas; Vol. 10, núm. 2 (2003); 92-109 Boletín de Matemáticas; Vol. 10, núm. 2 (2003); 92-109 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/73517/1/40280-180771-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/73517/2/40280-180771-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv df888af29b668e996a51c81b8097696e
cc6a5504b5eeb004de14693b866cf392
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_ 1814090219939430400

Publicaciones similares