Tag: universes
-
El Axioma de Martin
En un post anterior dimos las definiciones básicas de conjuntos densos y filtros genéricos en conjuntos parcialmente ordenados (“posets”), y enunciamos el Teorema de Existencia de Filtro genérico, que copiamos a continuación: Teorema 1. Si es un poset, es una familia contable de subconjuntos densos de y , hay un filtro -genérico…