PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2009 | 202 | 3 | 199-223
Tytuł artykułu

The weak extension property and finite axiomatizability for quasivarieties

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
We define and compare a selection of congruence properties of quasivarieties, including the relative congruence meet semi-distributivity, RSD(∧), and the weak extension property, WEP. We prove that if 𝒦 ⊆ ℒ ⊆ ℒ' are quasivarieties of finite signature, and ℒ' is finitely generated while 𝒦 ⊨ WEP, then 𝒦 is finitely axiomatizable relative to ℒ. We prove for any quasivariety 𝒦 that 𝒦 ⊨ RSD(∧) iff 𝒦 has pseudo-complemented congruence lattices and 𝒦 ⊨ WEP. Applying these results and other results proved by M. Maróti and R. McKenzie [Studia Logica 78 (2004)] we prove that a finitely generated quasivariety ℒ of finite signature is finitely axiomatizable provided that ℒ satisfies RSD(∧), or that ℒ is relatively congruence modular and is included in a residually small congruence modular variety. This yields as a corollary the full version of R. Willard's theorem for quasivarieties and partially proves a conjecture of D. Pigozzi. Finally, we provide a quasi-Maltsev type characterization for RSD(∧) quasivarieties and supply an algorithm for recognizing when the quasivariety generated by a finite set of finite algebras satisfies RSD(∧).
Słowa kluczowe
Twórcy
  • Department of Mathematics, University of Puerto Rico, Mayagüez Campus, Mayagüez, PR 00681-9018, U.S.A.
  • Bolyai Institute, University of Szeged, H-6720 Szeged, Hungary
  • Department of Mathematics, Vanderbilt University, Nashville, TN 37235, U.S.A.
  • Institute of Mathematics, National Academy of Science, Chui pr., 265a, Bishkek, 720071, Kyrghyz Republic
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm202-3-1
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.