Un teorema sobre P(N)/fin

• Franklin Galindo Departamento de Lógica y Filosofı́a de la Ciencia, Universidad Central de Venezuela. Colaborardor Visitante del Departamento de Matemáticas, Instituto Venezolano de Investigaciones Cientı́ficas.

Palabras clave: orden lineal de P(N)/fin, orden parcial del P(N)/fin, modelo de Solovay

Resumen

El objetivo de este artículo es presentar una demostración original del siguiente teorema: Existe una extensión genérica del modelo de Solovay $L(\mathbb{R})$ donde hay un orden lineal de $P(\mathbb{N})/fin$ que extiende al orden parcial $(P(\mathbb{N})/fin),\leq^{\star})$. Los órdenes lineales de $P(\mathbb{N})/fin$ son importantes porque, entre otras razones, permiten construir conjuntos no medibles.

Citas

Di Prisco, C. and Henle, H., Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters. Journal of Symbolic Logic 65 (2000) 462-473.

Jech, T., Set Theory. Springer. 2000.

Kunen, K., Set Theory. Elsevier. 2006.