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 P es un poset, D es una familia contable de subconjuntos densos de P y pP, hay un filtro D-genérico…