PUBLICACIONES

Sociedad Colombiana de Matemáticas:Publicaciones

Revista Colombiana de Matemáticas

Volumen 43 [2] (2009)Páginas 115--138

Una demostración alternativa del teorema de ultralímites

Andrés Forero Cuervo
Universidad de Los Andes, Bogotá, Colombia

Resumen.En este artículo se provee una demostración alternativa del teorema de ultralímites, establecido por Kochen en 1961. Para ello se definen los modelos genéricos constantes, construidos como límites de modelos de Kripke con el mismo universo en cada nodo, con respecto a un filtro de abiertos sobre el mismo orden parcial con su topología natural.

Abstract. This paper provides an alternative proof of the Ultralimits Theorem, established by Kochen in 1961. In order to achieve this, generic constant models are defined, constructed as limits of Kripke models with the same universe on each node, with respect to a filter of open sets over the same partial order with its natural topology.

Palabras claves. Ultrapotencias, ultralímites, modelos de Kripke, modelos genéricos, intuicionismo

Codigo AMS. 53C21, 53C42

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