Relative congruence distributivity within quasivarieties of nearly associative Φ-algebras
Finitely generated congruence distributive quasivarieties of algebras
Finite atomistic lattices that can be represented as lattices of quasivarieties
We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].
Quasivarieties of pseudocomplemented semilattices
Two properties of the lattice of quasivarieties of pseudocomplemented semilattices are established, namely, in the quasivariety generated by the 3-element chain, there is a sublattice freely generated by ω elements and there are quasivarieties.
A deceptive fact about functions
The paper provides a proof of a combinatorial result which pertains to the characterization of the set of equations which are solvable in the composition monoid of all partial functions on an infinite set.
The weak extension property and finite axiomatizability for quasivarieties
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...
Page 1