Graduate studies at Western
Studia Logica 78 (1-2):293 - 320 (2004)
|Abstract||Let be a finite collection of finite algebras of finite signature such that SP( ) has meet semi-distributive congruence lattices. We prove that there exists a finite collection 1 of finite algebras of the same signature, , such that SP( 1) is finitely axiomatizable.We show also that if , then SP( 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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Jiří Adámek (2004). On Quasivarieties and Varieties as Categories. Studia Logica 78 (1-2):7 - 33.
Francis Oger (1984). The Model Theory of Finitely Generated Finite-by-Abelian Groups. Journal of Symbolic Logic 49 (4):1115-1124.
Ross Willard (1994). Hereditary Undecidability of Some Theories of Finite Structures. Journal of Symbolic Logic 59 (4):1254-1262.
Valentin Shehtman (1990). Modal Counterparts of Medvedev Logic of Finite Problems Are Not Finitely Axiomatizable. Studia Logica 49 (3):365 - 385.
R. Hirsch, I. Hodkinson & A. Kurucz (2002). On Modal Logics Between K × K × K and $S5 \Times S5 \Times S5$. Journal of Symbolic Logic 67 (1):221 - 234.
W. J. Blok & W. Dziobiak (1986). On the Lattice of Quasivarieties of Sugihara Algebras. Studia Logica 45 (3):275 - 280.
Ross Willard (2000). A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties. Journal of Symbolic Logic 65 (1):187-200.
A. M. Nurakunov & M. M. Stronkowski (2009). Quasivarieties with Definable Relative Principal Subcongruences. Studia Logica 92 (1):109 - 120.
Alexei Vernitski (2004). Finite Quasivarieties and Self-Referential Conditions. Studia Logica 78 (1-2):337 - 348.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,381 of 739,352 )
Recent downloads (6 months)0
How can I increase my downloads?