On Strong Structural Completeness of Varieties and Quasivarieties

Resumo Técnico: Sobre a Completude Estrutural Forte de Variedades e Quasivariedades

Enunciado do Problema
O artigo investiga a propriedade de completude estrutural dentro do arcabouço algébrico de variedades e quasivariedades, estendendo especificamente o conceito para o sentido infinitário (completude estrutural forte). Enquanto a completude estrutural (SCpl) é bem compreendida para relações de consequência finitárias (onde uma variedade é SCpl se for gerada como uma quasivariedade por suas álgebras livres), o comportamento dessas propriedades sob relações de consequência infinitárias (prevariedades) permanece menos explorado.

O problema central abordado é a caracterização da completude estrutural forte (SSCpl), definida como a condição em que uma variedade (ou quasivariadade) é gerada como uma prevariedade por suas álgebras livres. O autor visa determinar sob quais condições uma variedade estruturalmente completa também é fortemente estruturalmente completa, focando particularmente em variedades de tipo finito geradas por álgebras finitas. O artigo destaca que, embora muitas lógicas (por exemplo, a lógica de Dummett, a lógica de Medvedev) sejam conhecidas por serem estruturalmente completas, seu status em relação à completude estrutural forte é não trivial e frequentemente negativo.

Metodologia
O estudo emprega uma abordagem puramente algébrica, utilizando a teoria da álgebra universal e a correspondência entre relações de consequência lógica e classes de álgebras:

1. Semântica Algébrica: O artigo distingue entre quasivariedades (classes definidas por quasiequações finitárias, correspondentes a relações de consequência finitárias) e prevariedades (classes definidas por possivelmente equações infinitárias, correspondentes a relações de consequência não finitárias).
2. Geradores e Álgebras Livres: A análise baseia-se fortemente na relação entre uma classe de álgebras e as álgebras livres que ela gera. Uma variedade $V$ é SSCpl se $V = P(F_V(\omega))$, onde $P$ denota o operador de prevariedade e $F_V(\omega)$ é a álgebra livre de posto enumerável.
3. Teoria de Congruência: A metodologia utiliza propriedades de congruências, especificamente a irredutibilidade subdireta (SI), o monólito de uma álgebra e a Propriedade de Extensão de Congruência (CEP).
4. Fórmulas Características: O autor introduz $\kappa$-quasiequações características ($c_A$) para álgebras $K$-irredutíveis. Estas servem como análogos algébricos para as fórmulas de Jankov, usadas para separar álgebras e determinar a pertinência em classes geradas.
5. Regras de Limitação: O artigo utiliza $\kappa$-quasiequações de limitação ($b_V(\kappa)$) para variedades com Congruências Principais Definíveis Equacionalmente (EDPC). Estas regras são instrumentais para provar a não existência de álgebras SI infinitas dentro de certas classes geradas.
6. Argumentos de Cardinalidade: As demonstrações frequentemente envolvem restrições de cardinalidade, distinguindo entre álgebras finitas, enumeráveis e infinitas, e analisando o comportamento de classes $\kappa$-locais.

Principais Contribuições e Resultados

1. Distinção entre SCpl e SSCpl:
   O artigo estabelece que, para variedades de tipo finito geradas por álgebras finitas, a completude estrutural não implica completude estrutural forte, a menos que a variedade seja tabular (finitamente gerada).

   • Teorema 3.2: Se $V$ é uma variedade de tipo finito, estruturalmente completa e distributiva de congruência, gerada por álgebras finitas, então $V$ é $\kappa$-estruturalmente completa (para $\kappa > \omega$) se, e somente se, $V$ é tabular.
   • Corolário 3.4: Para variedades de tipo finito finitamente geradas, SCpl é equivalente a SSCpl.

2. Critérios de Não-SSCpl para Classes Específicas:
   O autor prova que variedades geradas por álgebras finitas, mas que contêm álgebras irredutíveis infinitas, falham em ser fortemente estruturais completas.

   • Teorema 3.5: Uma variedade de tipo finito, estruturalmente completa e semidistributiva de encontro de congruências, gerada por álgebras finitas, é SSCpl se, e somente se, possui um limite residual finito (ou seja, é tabular).
   • Corolário 3.9: Nenhuma das variedades de tipo finito não finitamente geradas com EDPC geradas por álgebras finitas é $\omega^+$-estruturalmente completa e, portanto, nenhuma é SSCpl.

3. Aplicações a Lógicas Específicas:
   Os resultados teóricos são aplicados a lógicas intermediárias e modais bem conhecidas:

   • Lógica de Dummett (LC): Embora seja SCpl, a variedade de álgebras de Heyting correspondente à LC não é SSCpl porque contém álgebras SI infinitas (ex: de tipo de ordem $\omega+2$) e não é tabular.
   • Lógica de Medvedev (ML): Da mesma forma, ML é SCpl, mas não SSCpl.
   • S4.3 e Álgebras Brouwerianas: Resultados semelhantes de não-SSCpl são derivados para estas estruturas.

4. Primitividade Forte:
   O artigo define variedades fortemente primitivas como aquelas em que a variedade e todas as suas subvariedades são SSCpl.

   • Teorema 4.2: Uma variedade de álgebras de Heyting é fortemente primitiva se, e somente se, é primitiva e omite a álgebra de Heyting de tipo de ordem $\omega+2$.
   • Teorema 4.3: Um critério para a primitividade forte é estabelecido: uma variedade $V$ de tipo finito com CEP é fortemente primitiva se, e somente se, todas as suas álgebras SI enumeráveis são fracamente $V$-projetivas.

5. Relação entre Prevariedades e Quasivariedades:
   O artigo prova que, para um conjunto finito de álgebras finitas $K$, a prevariedade $P(K)$ coincide com a quasivariedade $Q(K)$ (Teorema 3.3). Isso implica que relações de consequência definidas por matrizes finitas são sempre finitárias, uma generalização de um teorema conhecido.

Significância e Alegações
O artigo afirma demonstrar que a completude estrutural forte é uma propriedade muito forte e rara. Enquanto a completude estrutural comum é uma característica frequente de muitos sistemas lógicos, a versão infinitária (SSCpl) impõe restrições estritas, essencialmente exigindo que a variedade seja tabular (finitamente gerada) no contexto de variedades geradas por álgebras finitas.

O autor enfatiza que o estudo de relações de consequência infinitárias é justificado pelo fato de que classes infinitas de álgebras finitas (ou álgebras infinitas) podem definir relações não finitárias. Os resultados esclarecem as limitações estruturais de tais lógicas, mostrando que mesmo lógicas bem comportadas e estruturalmente completas, como as de Dummett e Medvedev, falham em ser fortemente estruturalmente completas.

O artigo conclui formulando problemas abertos sobre a axiomatização de relações de consequência fortemente estruturalmente completas para a Lógica Proposicional Intuicionista (IPC) e extensões específicas (LC, ML) usando regras de limitação (bounding rules) e regras de Visser, sugerindo que a "regra de limitação" pode desempenhar um papel central na caracterização dessas propriedades.