On Strong Structural Completeness of Varieties and Quasivarieties

Sintesi Tecnica: Sulla Completezza Strutturale Forte di Varietà e Quasivarietà

Enunciato del Proble Tempo
Il saggio investiga la proprietà della completezza strutturale all'interno del quadro algebrico delle varietà e delle quasivarietà, estendendo specificamente il concetto alla dimensione infinitaria (completezza strutturale forte). Mentre la completezza strutturale (SCpl) è ben compresa per le relazioni di conseguenza finitarie (dove una varietà è SCpl se è generata come quasivarietà dalle sue algebre libere), il comportamento di queste proprietà sotto relazioni di conseguenza infinitarie (prevarietà) rimane meno esplorato.

Il problema centrale affrontato è la caratterizzazione della completezza strutturale forte (SSCpl), definita come la condizione in cui una varietà (o quasivarietà) è generata come prevarietà dalle sue algebre libere. L'autore mira a determinare in quali condizioni una varietà strutturalmente completa sia anche fortemente strutturalmente completa, concentrandosi in particolare sulle varietà di tipo finito generate da algebre finite. Il saggio evidenzia come molti logici (ad es. il logica di Dummett, la logica di Medvedev) siano noti per essere strutturalmente completi, ma il loro stato riguardo alla completezza strutturale forte sia non banale e spesso negativo.

Metodologia
Lo studio impiega un approccio puramente algebrico, utilizzando la teoria dell'algebra universale e la corrispondenza tra relazioni di conseguenza logica e classi di algebre:

1. Semantica Algebrica: Il saggio distingue tra quasivarietà (classi definite da quasiequazioni finitarie, corrispondenti a relazioni di conseguenza finitarie) e prevarietà (classi definite da possibilmente infinite quasiequazioni, corrispondenti a relazioni di conseguenza non finitarie).
2. Generatori e Algebre Libere: L'analisi si basa pesantemente sulla relazione tra una classe di algebre e le algebre libere che essa genera. Una varietà $V$ è SSCpl se $V = P(F_V(\omega))$, dove $P$ denota l'operatore di prevarietà e $F_V(\omega)$ è l'algebra libera di rango numerabile.
3. Teoria dei Congruenze: La metodologia utilizza le proprietà dei congruenze, specificamente l'irriducibilità subdiretta (SI), il monolito di un'algebra e la Proprietà di Estensione dei Congruenze (CEP).
4. Formule Caratteristiche: L'autore introduce le $\kappa$-quasiequazioni caratteristiche ($c_A$) per le algebre $K$-irreducibili. Esse fungono da analoghi algebrici delle formule di Jankov, usate per separare le algebre e determinare l'appartenenza a classi generate.
5. Regole di Limite (Bounding Rules): Il saggio utilizza le $\kappa$-quasiequazioni di limite ($b_V(\kappa)$) per le varietà con Congruenze Principali Definibili Equazionalmente (EDPC). Queste regole sono strumentali nel provare la non esistenza di algebre SI infinite all'interno di certe classi generate.
6. Argomenti di Cardinalità: Le dimostrazioni coinvolgono frequentemente vincoli di cardinalità, distinguendo tra algebre finite, numerabili e infinite, e analizzando il comportamento delle classi $\kappa$-locali.

Contributi Chiave e Risultati

1. Distinzione tra SCpl e SSCpl:
   Il saggio stabilisce che per le varietà di tipo finito generate da algebre finite, la completezza strutturale non implica la completezza strutturale forte a meno che la varietà non sia tabulare (finitamente generata).

   • Teorema 3.2: Se $V$ è una varietà strutturalmente completa, con distribuzione dei congruenze, di tipo finito generata da algebre finite, allora $V$ è $\kappa$-strutturalmente completa (per $\kappa > \omega$) se e solo se $V$ è tabulare.
   • Corollario 3.4: Per le varietà finitamente generate di tipo finito, la SCpl è equivalente alla SSCpl.

2. Criteri di Non-SSCpl per Classi Specifiche:
   L'autore prova che le varietà generate da algebre finite ma contenenti algebre irriducibili infinite falliscono nell'essere fortemente strutturalmente complete.

   • Teorema 3.5: Una varietà strutturalmente completa, con meet-semidistributività dei congruenze, di tipo finito generata da algebre finite è SSCpl se e solo se possiede un limite residuo finito (ovvero, è tabulare).
   • Corollario 3.9: Nessuna delle varietà non finitamente generate di tipo finito con EDPC generate da algebre finite è $\omega^+$-strutturalmente completa, e quindi nessuna è SSCpl.

3. Applicazioni a Logiche Specifiche:
   I risultati teorici sono applicati a logiche intermedie e modali ben note:

   • Logica di Dummett (LC): Sebbene sia SCpl, la varietà di algebre di Heyting corrispondente a LC non è SSCpl perché contiene algebre SI infinite (ad es. di tipo d'ordine $\omega+2$) ed è non tabulare.
   • Logica di Medvedev (ML): Similmente, ML è SCpl ma non SSCpl.
   • S4.3 e Algebre Brouweriane: Risultati simili di non-SSCpl sono derivati per queste strutture.

4. Strong Primitivity (Forte Primitività):
   Il saggio definisce le varietà fortemente primitive come quelle in cui la varietà e tutte le sue sottovarietà sono SSCpl.

   • Teorema 4.2: Una varietà di algebre di Heyting è fortemente primitiva se e solo se è primitiva e omette l'algebra di Heyting di tipo d'ordine $\omega+2$.
   • Teorema 4.3: Viene stabilito un criterio per la forte primitività: una varietà $V$ di tipo finito con CEP è fortemente primitiva se e solo se tutte le sue algebre SI numerabili sono debolmente $V$-proiettive.

5. Relazione tra Prevarietà e Quasivarietà:
   Il saggio prova che per un insieme finito di algebre finite $K$, la prevarietà $P(K)$ coincide con la quasivarietà $Q(K)$ (Teorema 3.3). Ciò implica che le relazioni di conseguenza definite da matrici finite sono sempre finitarie, una generalizzazione di un teorema noto.

Significato e Rivendicazioni
Il saggio sostiene di dimostrare che la completezza strutturale forte è una proprietà molto forte e rara. Mentre la comune completezza strutturale è una caratteristica frequente di molti sistemi logici, la versione infinitaria (SSCpl) impone vincoli stretti, richiedendo essenzialmente che la varietà sia tabulare (finitamente generata) nel contesto delle varietà generate da algebre finite.

L'autore sottolinea che lo studio delle relazioni di conseguenza infinitarie è giustificato dal fatto che classi infinite di algebre finite (o algebre infinite) possono definire relazioni non finitarie. I risultati chiariscono i limiti strutturali di tali logiche, mostrando che anche logiche ben comportate e strutturalmente complete come quelle di Dummett e Medvedev falliscono nell'essere fortemente strutturalmente complete.

Il saggio conclude formulando problemi aperti riguardanti l'assiomatizzazione delle relazioni di conseguenza fortemente strutturalmente complete per la Logica Proposizionale Intuizionistica (IPC) e specifiche estensioni (LC, ML) utilizzando regole di limite (bounding rules) e regole di Visser, suggerendo che la "regola di limite" possa giocare un ruolo centrale nel caratterizzare queste proprietà.