Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations
Este artigo desenvolve uma construção de filtros de limite para iterações simétricas com suporte contável que garantem a preservação do Axioma da Dependência (DC) e do ZF, permitindo a criação de modelos onde o Axioma da Escolha falha especificamente para famílias de pares de números reais, ao demonstrar que filtros de limite -completos são estruturalmente necessários para evitar o colapso do DC em estágios limite de cofinalidade .