Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Citado por Google
- Similares em SciELO
- Similares em Google
Compartilhar
Revista Colombiana de Matemáticas
versão impressa ISSN 0034-7426
Resumo
FORERO CUERVO, ANDRÉS. Una demostración alternativa del teorema de ultralímites. Rev.colomb.mat. [online]. 2009, vol.43, n.2, pp.115-138. ISSN 0034-7426.
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.
Palavras-chave : Ultrapotencias; ultralímites; modelos de Kripke; modelos genéricos; intuicionismo.