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...
- 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
| Summary: | 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. |
|---|