On Strong Structural Completeness of Varieties and Quasivarieties

Technische Samenvatting: Over Sterke Structurele Volledigheid van Variëteiten en Quasivariëteiten

Probleemstelling
Het artikel onderzoekt de eigenschap van structurele volledigheid binnen het algebraïsche kader van variëteiten en quasivariëteiten, waarbij dit concept specifiek wordt uitgebreid naar de infinitaire zin (sterke structurele volledigheid). Terwijl structurele volledigheid (SCpl) goed begrepen is voor finitair gevolgtrekingsrelaties (waarbij een variëteit SCpl is als deze als quasivariëteit wordt gegenereerd door zijn vrije algebra's), blijft het gedrag van deze eigenschappen onder infinitaire gevolgtrekingsrelaties (prevariëteiten) minder onderzocht.

Het centrale probleem dat wordt aangepakt, is de karakterisering van sterke structurele volledigheid (SSCpl), gedefinieerd als de conditie waarbij een variëteit (of quasivariëteit) als prevariëteit wordt gegenereerd door zijn vrije algebra's. De auteur beoogt te bepalen onder welke condities een structureel volledige variëteit ook sterk structureel volledig is, met een specifieke focus op variëteiten van eindig type die worden gegenereerd door eindige algebra's. Het artikel benadrukt dat hoewel veel logica's (bijv. de logica van Dummett, de logica van Medvedev) bekend staan als structureel volledig, hun status met betrekking tot sterke structurele volledigheid niet triviaal en vaak negatief is.

Methodologie
De studie hanteert een puur algebraïsche benadering, gebruikmakend van de theorie van de universele algebra en de correspondentie tussen logische gevolgtrekingsrelaties en klassen van algebra's:

1. Algebraïsche Semantiek: Het artikel maakt onderscheid tussen quasivariëteiten (klassen gedefinieerd door finitair quasiequaties, corresponderend met finitair gevolgtrekingsrelaties) en prevariëteiten (klassen gedefinieerd door mogelijk oneindige quasiequaties, corresponderend met niet-finitaire gevolgtrekingsrelaties).
2. Generatoren en Vrije Algebra's: De analyse leunt zwaar op de relatie tussen een klasse van algebra's en de vrije algebra's die zij genereert. Een variëteit $V$ is SSCpl als $V = P(F_V(\omega))$, waarbij $P$ de prevariëteit-operator is en $F_V(\omega)$ de vrije algebra van aftelbaar rang is.
3. Congruentietheorie: De methodologie maakt gebruik van eigenschappen van conglomeraties, specifiek subdirect irreducibiliteit (SI), het monoliet van een algebra, en de Congruence Extension Property (CEP).
4. Karakteristieke Formules: De auteur introduceert karakteristieke $\kappa$-quasiequaties ($c_A$) voor $K$-irreducibele algebra's. Deze dienen als algebraïsche analogen aan Jankov-formules, gebruikt om algebra's te scheiden en lidmaatschap van gegenereerde klassen te bepalen.
5. Bounding Rules: Het artikel maakt gebruik van bounding $\kappa$-quasiequaties ($b_V(\kappa)$) voor variëteiten met Equationally Definable Principal Congruences (EDPC). Deze regels zijn instrumenteel bij het bewijzen van de niet-existentie van oneindige SI-algebra's binnen bepaalde gegenereerde klassen.
6. Cardinaliteitsargumenten: De bewijzen maken frequent gebruik van cardinaliteitsbeperkingen, waarbij onderscheid wordt gemaakt tussen eindige, aftelbare en oneindige algebra's, en waarbij het gedrag van $\kappa$-lokale klassen wordt geanalyseerd.

Belangrijkste Bijdragen en Resultaten

1. Onderscheid tussen SCpl en SSCpl:
   Het artikel stelt vast dat voor variëteiten van eindig type gegenereerd door eindige algebra's, structurele volledigheid geen sterke structurele volledigheid impliceert, tenzij de variëteit tabular (eindig gegenereerd) is.

   • Stelling 3.2: Als $V$ een structureel volledige, congruent distributieve variëteit van eindig type gegenereerd door eindige algebra's is, dan is $V$ $\kappa$-structureel volledig (voor $\kappa > \omega$) dan en slechts dan als $V$ tabular is.
   • Corolarium 3.4: Voor eindig gegenereerde variëteiten van eindig type is SCpl equivalent aan SSCpl.

2. Criteria voor Niet-SSCpl Klassen:
   De auteur bewijst dat variëteiten gegenereerd door eindige algebra's maar die oneindige irreducibele algebra's bevatten, niet sterk structureel volledig zijn.

   • Stelling 3.5: Een structureel volledige, congruent meet-semidistributieve variëteit van eindig type gegenereerd door eindige algebra's is SSCpl dan en slechts dan als deze een eindige residuele grens heeft (d.w.z. zij is tabular).
   • Corolarium 3.9: Geen van de niet-eindig gegenereerde variëteiten van eindig type met EDPC gegenereerd door eindige algebra's zijn $\omega^+$-structureel volledig, en dus zijn zij geen SSCpl.

3. Toepassingen op Specifieke Logica's:
   De theoretische resultaten worden toegepast op bekende intermediaire en modale logica's:

   • Dummett's Logica (LC): Hoewel SCpl, is de variëteit van Heyting-algebra's die overeenkomt met LC niet SSCpl omdat deze oneindige SI-algebra's bevat (bijv. van orde type $\omega+2$) en niet tabular is.
   • Medvedev's Logica (ML): Op vergelijkbare wijze is ML SCpl maar niet SSCpl.
   • S4.3 en Brouweriaanse Algebra's: Vergelijkbare niet-SSCpl resultaten worden afgeleid voor deze structuren.

4. Sterke Primitiviteit:
   Het artikel definieert sterk primitieve variëteiten als variëteiten waarbij de variëteit zelf en al haar subvariëteiten SSCpl zijn.

   • Stelling 4.2: Een variëteit van Heyting-algebra's is sterk primitief dan en slechts dan als zij primitief is en de Heyting-algebra van orde type $\omega+2$ vermijdt.
   • Stelling 4.3: Een criterium voor sterke primitiviteit wordt vastgesteld: Een variëteit $V$ van eindig type met CEP is sterk primitief dan en slechts dan als alle haar aftelbare SI-algebra's zwak $V$-projectief zijn.

5. Relatie tussen Prevariëteiten en Quasivariëteiten:
   Het artikel bewijst dat voor een eindige verzameling eindige algebra's $K$, de prevariëteit $P(K)$ samenvalt met de quasivariëteit $Q(K)$ (Stelling 3.3). Dit impliceert dat gevolgtrekingsrelaties gedefinieerd door eindige matrices altijd finitair zijn, een generalisatie van een bekend theorema.

Betekenis en Claims
Het artikel claimt aan te tonen dat sterke structurele volledigheid een zeer sterke en zeldzame eigenschap is. Terwijl gewone structurele volledigheid een veelvoorkomend kenmerk is van veel logische systemen, legt de infinitaire versie (SSCpl) strikte beperkingen op, wat in essentie vereist dat de variëteit tabular (eindig gegenereerd) is in de context van variëteiten gegenereerd door eindige algebra's.

De auteur benadrukt dat de studie van infinitaire gevolgtrekingsrelaties gerechtvaardigd is door het feit dat oneindige klassen van eindige algebra's (of oneindige algebra's) niet-finitaire relaties kunnen definiëren. De resultaten verhelderen de structurele beperkingen van dergelijke logica's, waarbij wordt aangetoond dat zelfs goed gedrag vertoonde, structureel volledige logica's zoals die van Dummett en Medvedev, niet sterk structureel volledig zijn.

Het artikel concludeert door open problemen te formuleren met betrekking tot de axiomatisering van sterk structureel volledige gevolgtrekingsrelaties voor de Intuïtionistische Propositie Logica (IPC) en specifieke uitbreidingen (LC, ML) met behulp van bounding rules en Visser rules, waarbij gesuggereerd wordt dat de "bounding rule" een centrale rol kan spelen bij het karakteriseren van deze eigenschappen.