Finite basis problems and results for quasivarieties
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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJiří 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.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,507 of 548,970 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
