On Strong Structural Completeness of Varieties and Quasivarieties

Resumen Técnico: Sobre la Completitud Estructural Fuerte de Variedades y Cuasivariedades

Planteamiento del Problema
El artículo investiga la propiedad de completitud estructural dentro del marco algebraico de las variedades y cuasivariedades, extendiendo específicamente el concepto al sentido infinitario (completitud estructural fuerte). Mientras que la completitud estructural (SCpl) está bien comprendida para relaciones de consecuencia finitarias (donde una variedad es SCpl si es generada como cuasivariedad por sus álgebras libres), el comportamiento de estas propiedades bajo relaciones de consecuencia infinitarias (prevariedades) ha sido menos explorado.

El problema central abordado es la caracterización de la completitud estructural fuerte (SSCpl), definida como la condición donde una variedad (o cuasivariedad) es generada como prevariedad por sus álgebras libres. El autor busca determinar bajo qué condiciones una variedad estructuralmente completa es también estructuralmente completa de forma fuerte, centrándose particularmente en variedades de tipo finito generadas por álgebras finitas. El artículo destaca que, si bien muchas lógicas (por ejemplo, la lógica de Dummett, la lógica de Medvedev) son conocidas por ser estructuralmente completas, su estatus respecto a la completitud estructural fuerte es no trivial y, a menudo, negativo.

Metodología
El estudio emplea un enfoque puramente algebraico, utilizando la teoría del álgebra universal y la correspondencia entre relaciones de consecuencia lógica y clases de álgebras:

1. Semántica Algebraica: El artículo distingue entre cuasivariedades (clases definidas por cuasiequaciones finitarias, correspondientes a relaciones de consecuencia finitarias) y prevariedades (clases definidas por posiblemente infinitas cuasiequaciones, correspondientes a relaciones de consecuencia no finitarias).
2. Generadores y Álgebras Libres: El análisis se apoya fuertemente en la relación entre una clase de álgebras y los álgebras libres que esta genera. Una variedad $V$ es SSCpl si $V = P(F_V(\omega))$, donde $P$ denota el operador de prevariedad y $F_V(\omega)$ es el álgebra libre de rango numerable.
3. Teoría de Congruencias: La metodología utiliza propiedades de los congruencias, específicamente la irreducibilidad subdirecta (SI), el monolito de un álgebra y la Propiedad de Extensión de Congruencia (CEP).
4. Fórmulas Características: El autor introduce $\kappa$-cuasiequaciones características ($c_A$) para álgebras $K$-irreducibles. Estas sirven como análogos algebraicos de las fórmulas de Jankov, utilizados para separar álgebras y determinar la membresía en clases generadas.
5. Reglas de Acotación: El artículo utiliza $\kappa$-cuasiequaciones de acotación ($b_V(\kappa)$) para variedades con Congruencias Principales Definibles Equacionalmente (EDPC). Estas reglas son instrumentales para probar la inexistencia de álgebras SI infinitos dentro de ciertas clases generadas.
6. Argumentos de Cardinalidad: Las demostraciones involucran frecuentemente restricciones de cardinalidad, distinguiendo entre álgebras finitas, numerables e infinitas, y analizando el comportamiento de las clases $\kappa$-locales.

Contribuciones Clave y Resultados

1. Distinción entre SCpl y SSCpl:
   El artículo establece que para variedades de tipo finito generadas por álgebras finitas, la completitud estructural no implica la completitud estructural fuerte a menos que la variedad sea tabular (finitamente generada).

   • Teorema 3.2: Si $V$ es una variedad estructuralmente completa, distributiva de congruencia y de tipo finito generada por álgebras finitas, entonces $V$ es $\kappa$-estructuralmente completa (para $\kappa > \omega$) si y solo si $V$ es tabular.
   • Corolario 3.4: Para variedades de tipo finito finamente generadas, SCpl es equivalente a SSCpl.

2. Criterios de No-SSCpl para Clases Específicas:
   El autor demuestra que las variedades generadas por álgebras finitas pero que contienen álgebras irreducibles infinitas fallan en ser estructuralmente completas de forma fuerte.

   • Teorema 3.5: Una variedad estructuralmente completa, de semidistributividad de encuentro de congruencia y de tipo finito generada por álgebras finitas es SSCpl si y solo si tiene un límite residual finito (es decir, es tabular).
   • Corolario 3.9: Ninguna de las variedades de tipo finito no finamente generadas con EDPC generadas por álgebras finitas es $\omega^+$-estructuralmente completa y, por lo tanto, ninguna es SSCpl.

3. Aplicaciones a Lógicas Específicas:
   Los resultados teóricos se aplican a lógicas intermedias y modales bien conocidas:

   • Lógica de Dummett (LC): Aunque es SCpl, la variedad de álgebras de Heyting correspondiente a LC no es SSCpl porque contiene álgebras SI infinitas (por ejemplo, de tipo de orden $\omega+2$) y no es tabular.
   • Lógica de Medvedev (ML): Del mismo modo, ML es SCpl pero no SSCpl.
   • S4.3 y Álgebras Brouwerianas: Se derivan resultados similares de no-SSCpl para estas estructuras.

4. Primitividad Fuerte:
   El artículo define las variedades fuertemente primitivas como aquellas donde la variedad y todas sus subvariedades son SSCpl.

   • Teorema 4.2: Una variedad de álgebras de Heyting es fuertemente primitiva si y solo si es primitiva y omite el álgebra de Heyting de tipo de orden $\omega+2$.
   • Teorema 4.3: Se establece un criterio para la primitividad fuerte: una variedad $V$ de tipo finito con CEP es fuertemente primitiva si y solo si todos sus álgebras SI numerables son débilmente $V$-proyectivos.

5. Relación entre Prevariedades y Cuasivariedades:
   El artículo demuestra que para un conjunto finito de álgebras finitas $K$, la prevariedad $P(K)$ coincide con la cuasivariedad $Q(K)$ (Teorema 3.3). Esto implica que las relaciones de consecuencia definidas por matrices finitas son siempre finitarias, una generalización de un teorema conocido.

Significación y Reivindicaciones
El artículo afirma demostrar que la completitud estructural fuerte es una propiedad muy fuerte y rara. Mientras que la completitud estructural ordinaria es una característica común de muchos sistemas lógicos, la versión infinitaria (SSCpl) impone restricciones estrictas, requiriendo esencialmente que la variedad sea tabular (finitamente generada) en el contexto de variedades generadas por álgebras finitas.

El autor enfatiza que el estudio de las relaciones de consecuencia infinitarias está justificado por el hecho de que clases infinitas de álgebras finitas (o álgebras infinitas) pueden definir relaciones no finitarias. Los resultados aclaran las limitaciones estructurales de tales lógicas, mostrando que incluso las lógicas bien comportadas y estructuralmente completas como las de Dummett y Medvedev fallan en ser estructuralmente completas de forma fuerte.

El artículo concluye formulando problemas abiertos respecto a la axiomatización de las relaciones de consecuencia estructuralmente completas de forma fuerte para la Lógica Proposicional Intuicionista (IPC) y extensiones específicas (LC, ML) utilizando reglas de acotación y reglas de Visser, sugiriendo que la "regla de acotación" puede jugar un papel central en la caracterización de estas propiedades.