Contribuciones a la teoría de modelos de haces
- Autores: Andrés Montoya
- Localización: Lecturas matemáticas, ISSN-e 0120-1980, Vol. 28, Nº. 1, 2007, págs. 5-37
- Idioma: español
- Enlaces
-
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.
¿Es nuevo? Regístrese
Ventajas de registrarse
