| Tartalom: |
http://dx.doi.org/10.1007/s11225-005-3320-5 |
| Archívum: |
MTA Könyvtár |
| Gyűjtemény: |
Status = Published
Type = Article
|
| Cím: |
Finite basis problems and results for quasivarieties
|
| Létrehozó: |
Maróti, Miklós
McKenzie, Ralph
|
| Kiadó: |
Springer
|
| Dátum: |
2004
|
| Téma: |
QA Mathematics / matematika
QA72 Algebra / algebra
|
| Tartalmi leírás: |
Let K be a finite collection of finite algebras of finite signature such that SP( K ) has meet semi-distributive congruence lattices. We prove that there exists a finite collection K 1 of finite algebras of the same signature, K1?K , such that SP( K 1) is finitely axiomatizable.We show also that if HS(K)?SP(K) , then SP( K 1) is finitely axiomatizable. We offer new proofs of two important finite basis theorems of D. Pigozzi and R. Willard. Our actual results are somewhat more general than this abstract indicates.
|
| Típus: |
Article
PeerReviewed
|
| Formátum: |
text
|
| Azonosító: |
Maróti, Miklós and McKenzie, Ralph (2004) Finite basis problems and results for quasivarieties. Studia Logica, 78 (1-2). pp. 293-320. ISSN 0039-3215
|
| Kapcsolat: |
|
