文摘
Is every dualizable finite algebra of finite signature finitely based? What is the likelihood that a random finite modular lattice directly decomposes into an even number of directly indecomposable lattices? Is the algebra \({\langle \mathbb{N},+, \cdot, {n\atopwithdelims ()k},!,0, 1 \rangle }\) finitely based? Is it decidable, given a finite lattice \({\mathbf{L}}\) and a finite algebra \({\mathbf{A}}\), whether \({\mathbf{L}}\) can be embedded into the congruence lattice of an algebra belonging to the variety generated by \({\mathbf{A}}\)? What is the Nullstellensatz for free lattices? Which finite automatic algebras are dualizable?