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 $\omega_1$-completos são estruturalmente necessários para evitar o colapso do DC em estágios limite de cofinalidade $\omega$.

O essencial

Imagine que você está construindo uma cidade de Lego (o nosso universo matemático) onde as regras de construção são estritas. Normalmente, nessa cidade, existe uma regra de ouro: "Para qualquer coleção de itens, você sempre consegue escolher um representante de cada um." Isso é o que os matemáticos chamam de Axioma da Escolha.

No entanto, os matemáticos às vezes querem construir cidades onde essa regra não funciona. Eles querem criar cenários onde você tem caixas de sapatos, cada uma com dois pares de sapatos, mas não consegue escolher um sapato de cada caixa sem uma "regra mágica" que não existe naquela cidade. O problema é que, ao tentar quebrar essa regra, você pode acidentalmente quebrar outras coisas importantes, como a capacidade de contar infinitamente ou de fazer sequências lógicas (o que chamamos de Dependent Choice ou Escolha Dependente).

Este artigo é um manual de engenharia para construir essas cidades "quebradas" de forma segura, sem destruir a lógica básica.

Aqui está a explicação simples, passo a passo:

1. O Problema: A "Torre de Blocos" Infinita

O autor, Frank Gilson, está trabalhando com uma técnica chamada Iteração Simétrica. Pense nisso como construir uma torre de blocos, onde cada novo bloco (um novo passo na construção) adiciona uma nova "surpresa" ou uma nova "caixa de sapatos" que não pode ser escolhida.

• Passo a passo (Sucessor): Quando você adiciona um bloco de cada vez, é fácil manter a estrutura segura.
• O Pulo do Gato (Limites): O problema surge quando você chega a um "andar infinito" da torre (um limite). É aqui que a matemática fica perigosa. Se você não for cuidadoso ao juntar todos os blocos anteriores para formar o novo andar, a torre pode desmoronar e perder a capacidade de fazer sequências lógicas (o DC).

2. A Solução: O "Filtro de Segurança" (Limit Filters)

Para evitar que a torre desmorone no andar infinito, o autor cria um Filtro de Segurança especial.

Imagine que cada bloco da torre tem um "segurança" (um grupo de automorfismos) que decide quais partes da construção são "simétricas" (aceitáveis).

• No método antigo (Suporte Finito): O filtro era como um guarda que só aceitava blocos que tinham poucos seguranças. Quando você chegava ao infinito, esse guarda ficava confuso e deixava entrar "lixo" que quebrava a lógica.
• O novo método (Suporte Contável): O autor propõe um filtro mais forte. Ele exige que o guarda seja $\omega_1$-completo.
  • Analogia: Imagine que o guarda antigo só verificava se você tinha 1 ou 2 amigos. O novo guarda verifica se você tem qualquer número finito de amigos. Mas, mais importante, ele verifica se a soma de infinitos grupos de amigos ainda é aceitável.

Essa "completude" é a chave. Ela garante que, mesmo quando você junta infinitos blocos (uma sequência infinita), a estrutura permanece sólida e a lógica da cidade (ZF) não quebra.

3. O Resultado: Uma Cidade Funcional sem Escolha

Com esse novo filtro, o autor consegue construir uma cidade onde:

1. A Lógica Funciona (ZF): Você pode somar, subtrair, fazer conjuntos e provar teoremas normais.
2. A Escolha Dependente Funciona (DC): Você consegue fazer sequências infinitas. Se você tem um caminho para seguir, consegue continuar seguindo para sempre.
3. A Escolha Total Falha (¬AC): Mas, especificamente, você não consegue escolher um item de cada uma de um número infinito de caixas de pares.

O Exemplo Prático (O Par de Sapatos):
O autor constrói uma cidade onde existem infinitas caixas, cada uma com um par de sapatos (esquerda e direita).

• Na cidade normal, você pega o sapato esquerdo de todas as caixas.
• Nesta nova cidade, a simetria é tão forte que não existe uma regra para distinguir "esquerda" de "direita" em todas as caixas ao mesmo tempo. Você não consegue escolher um sapato de cada caixa.
• Porém, graças ao novo filtro, você ainda consegue fazer uma fila de pessoas (uma sequência) e dizer "a pessoa 1 vai para a caixa 1, a pessoa 2 para a caixa 2", mantendo a ordem lógica.

4. Por que o método antigo falhou?

O autor mostra que se você tentasse fazer isso com o método antigo (Suporte Finito), a cidade entraria em colapso no primeiro andar infinito.

• Analogia: É como tentar construir um prédio de 100 andares usando apenas cola fraca nos últimos andares. O prédio desmorona antes de chegar ao topo. O novo filtro é como usar um cimento de alta resistência que aguenta o peso de infinitos andares sem quebrar a estrutura.

Resumo em uma frase

Este artigo inventa uma nova "cola matemática" (o filtro de limite) que permite construir universos infinitos onde a regra de "escolher um de cada" falha, mas onde a lógica e a capacidade de fazer sequências infinitas continuam funcionando perfeitamente.

Por que isso importa?
Isso ajuda os matemáticos a entenderem exatamente o que é possível e o que é impossível na lógica pura, separando o que é uma falha da lógica do que é apenas uma falha da "escolha". É como dizer: "Podemos ter um mundo onde não conseguimos escolher sapatos, mas ainda podemos caminhar em linha reta."

Resumo técnico

Resumo Técnico: Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations

Autor: Frank Gilson
Data: 10 de março de 2026
Área: Teoria dos Conjuntos (Modelos Simétricos, Forçamento, Axioma da Escolha)

1. O Problema

Os modelos simétricos são uma ferramenta fundamental para construir modelos de $ZF$ (Teoria dos Conjuntos de Zermelo-Fraenkel) que violam o Axioma da Escolha ($AC$). Enquanto iterações simétricas com suporte finito são bem compreendidas (devido ao trabalho de Karagila e outros), a extensão para suporte contável apresenta desafios significativos nas etapas limites, especialmente em ordinais de cofinalidade $\omega$.

O problema central identificado é que, para garantir que a classe de nomes hereditariamente simétricos ($HS$) seja fechada sob construções contáveis (necessário para preservar o Axioma da Escolha Dependente, $DC$), os filtros de simetria nas etapas limites devem ser $\omega_1$-completos (fechados sob interseções contáveis). Filtros padrão de suporte finito falham nessa propriedade em limites de cofinalidade $\omega$, levando à perda de $DC$ e à introdução de patologias como conjuntos Dedekind-finitos infinitos.

2. Metodologia

O autor desenvolve uma tecnologia de filtro de etapa limite específica para iterações simétricas de suporte contável, mantendo a estrutura padrão de etapas sucessoras.

• Construção de Etapas Sucessoras: Assume-se a construção padrão de sistemas simétricos de dois passos. No entanto, em cada etapa sucessora $\alpha + 1$, o filtro de simetria é definido como a $\omega_1$-completação do filtro de simetria usual. Isso garante que o filtro seja $\omega_1$-completo desde o início.
• Construção de Etapas Limite ($\lambda$): O artigo distingue dois casos baseados na cofinalidade de $\lambda$:
  1. Cofinalidade não enumerável ($cf(\lambda) \ge \omega_1$): O limite contável é identificado com o limite direto. O filtro limite $\tilde{F}_\lambda$ é o menor filtro normal contendo os "pullbacks" (puxadas) dos filtros anteriores. A $\omega_1$-completude é garantida por um argumento de "limitação de estágio" (stage-bounding), onde qualquer interseção contável de geradores é limitada por um único estágio anterior $\beta < \lambda$.
  2. Cofinalidade enumerável ($cf(\lambda) = \omega$): Aqui, a limitação de estágio falha. O autor define $\tilde{F}_\lambda$ explicitamente como o menor filtro normal $\omega_1$-completo que estende a família de geradores dos pullbacks das etapas anteriores. Esta é a contribuição técnica central do artigo.

3. Contribuições Principais

O artigo isola e formaliza a tecnologia necessária para que iterações de suporte contável preservem $ZF$ e $DC$:

1. Definição Canônica de Filtros Limite: Estabelecimento de uma definição uniforme para filtros $\tilde{F}_\lambda$ que são sempre normais e $\omega_1$-completos, independentemente da cofinalidade de $\lambda$ (Teorema 3.13).
2. Fechamento de Nomes Simétricos: Prova de que a classe de nomes hereditariamente simétricos ($HS$) é fechada sob pares, uniões e, crucialmente, tuplas contáveis (Teorema 3.15). O fechamento sob tuplas contáveis depende diretamente da $\omega_1$-completude do filtro limite.
3. Preservação de $ZF$ e $DC$:
   • Demonstra-se que o modelo simétrico resultante satisfaz $ZF$ (Teorema 3.17).
   • Demonstra-se que, se o modelo base satisfaz $ZFC$, o modelo simétrico satisfaz o Axioma da Escolha Dependente ($DC = DC_\omega$) (Teorema 3.20).
4. Distinção Estrutural entre Suporte Finito e Contável: O artigo prova que a preservação de $DC$ não é um subproduto acidental, mas uma consequência estrutural da $\omega_1$-completude do filtro, algo que o suporte finito não consegue fornecer em limites de cofinalidade $\omega$.

4. Resultados Chave e Aplicações

• Teorema de Preservação de $DC$: O uso de filtros limites $\omega_1$-completos impede a existência de conjuntos Dedekind-finitos infinitos e conjuntos amorfos no modelo simétrico, garantindo que todo conjunto infinito contenha um subconjunto infinito enumerável.
• Aplicação: Modelo de Pares Não Ordenados Iterados (Seção 4):
  • O autor constrói um modelo para qualquer cardinal não enumerável $\kappa$ com $cf(\kappa) \ge \omega_1$.
  • O modelo satisfaz $ZF + DC + \neg AC_\kappa(\mathcal{F})$, onde $\mathcal{F}$ é uma família $\kappa$-indexada de pares de números reais sem função de escolha.
  • Cada passo da iteração adiciona um par não "escolhível" (um par de reals de Cohen $\{a_\alpha, b_\alpha\}$ onde a troca dos elementos é uma simetria, mas nenhum elemento individual é simétrico).
  • A falha da escolha é controlada pelo comprimento da iteração.
• Falha do Suporte Finito (Proposição 4.4): O artigo prova que a mesma construção, se realizada com suporte finito, falha em preservar $DC$ já na primeira etapa limite de cofinalidade $\omega$ (estágio $\omega$). Isso ocorre porque, no suporte finito, o filtro limite não é fechado sob interseções contáveis, impedindo que a sequência de escolhas parciais seja um nome hereditariamente simétrico.

5. Significado e Implicações

• Necessidade Estrutural: O trabalho demonstra que o suporte contável não é apenas uma conveniência técnica, mas uma necessidade estrutural para construir modelos de $ZF + DC + \neg AC$ de alta complexidade (como famílias indexadas por cardinais grandes) sem perder a dependência de escolha.
• Modularidade: A tecnologia desenvolvida (filtros limites e teoremas de preservação) é apresentada como um módulo que pode ser aplicado a qualquer construção de iteração simétrica que utilize etapas sucessoras padrão, separando a complexidade do limite da lógica específica da aplicação.
• Limitações: O artigo não afirma um teorema geral de preservação de $ZF$ para iterações de comprimento de classe (classe-length), notando que isso requer hipóteses adicionais além do pretameness e é um problema em aberto na teoria de forçamento de classe. O foco permanece em iterações de comprimento de conjunto.

Em resumo, este artigo preenche uma lacuna técnica crítica na teoria de extensões simétricas, fornecendo os mecanismos necessários para manter a consistência de $ZF$ e $DC$ em iterações de suporte contável, permitindo a construção de modelos onde o Axioma da Escolha falha de maneira controlada e específica, mas onde a estrutura de dependência de escolha permanece intacta.