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

Full description

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/
Description
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.