Omitting types and w-categoricity for linear kripke sheaves
"Kripke semantics constitutes a correct and complete system for intuitionistic logic (concretely for Heyting's calculus), nevertheless there are few approaches exploring model theoretical questions in this context. Based on a new proof of completeness for Kripke models over linearly ordere...
- Autores:
-
Dávila Castellar, Kevin Omar
- Tipo de recurso:
- Fecha de publicación:
- 2017
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/34187
- Acceso en línea:
- http://hdl.handle.net/1992/34187
- Palabra clave:
- Matemáticas intuicionistas
Matemáticas
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-sa/4.0/
| Summary: | "Kripke semantics constitutes a correct and complete system for intuitionistic logic (concretely for Heyting's calculus), nevertheless there are few approaches exploring model theoretical questions in this context. Based on a new proof of completeness for Kripke models over linearly ordered sets we prove an omitting types theorem which permits some versions of Ryll Nardzewski theorem for the corresponding logic". -- Tomado del Formato de Documento de Grado. |
|---|