PUBLICACIONES

Sociedad Colombiana de Matemáticas:Publicaciones
Lecturas Matemáticas
Volumen 28 [1] (2007)Páginas 5--37
Artículos Matemáticos

Contribuciones a la teoría de modelos de haces

Andrés Montoya
Universidad Industrial de Santander, Bucaramanga

Resumen.Se estudia la semántica de haces de la lógica intuicionista, utilizando una nueva noción de \textit{teoría variable}. Una teoría variable es una función continua que toma valores en un espacio de teorías de primer orden. En este trabajo se caracterizan las teorías variables que tienen un modelo haz y se estudia el problema de extender una función continua a una teoría variable que tenga un modelo haz, obteniéndose agunos resultados parciales.

Abstract. In this paper the sheaf semantics of intuitionistic logic is studied, introducing a new notion of \textit{variable theory}. A variable theory is a continuous function which takes values in a topological space of first order theories. We characterize the class of variable theories for which there exists a sheaf model, and study the problem of extending an arbitrary continuous function to a variable theory with a sheaf model, obtaining partial results.

Palabras claves. Sheaves, Forcing, Intuitionistic logic

Codigo AMS. Primary: 03C65. Secondary: 03H05.

Archivo completo : Formato [PDF] (923 K).