Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

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

Montoya, Juan Andrés (2013) 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 .

Texto completo

[img]
Vista previa
PDF
208kB

URL oficial: http://revistas.unal.edu.co/index.php/bolma/articl...

Resumen

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.

Tipo de documento:Artículo - Article
Palabras clave:prehaces, lógica intuicionista, forzamiento.
Unidad administrativa:Revistas electrónicas UN > Boletín de Matemáticas
Código ID:37993
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :03 Julio 2014 18:23
Ultima modificación:18 Agosto 2014 22:09
Ultima modificación:18 Agosto 2014 22:09
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox