quasivariety lattice
Recently Published Documents


TOTAL DOCUMENTS

2
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

2012 ◽  
Vol 22 (03) ◽  
pp. 1250006 ◽  
Author(s):  
A. M. NURAKUNOV

A quasivariety is a universal Horn class of algebraic structures containing the trivial structure. The set [Formula: see text] of all subquasivarieties of a quasivariety [Formula: see text] forms a complete lattice under inclusion. A lattice isomorphic to [Formula: see text] for some quasivariety [Formula: see text] is called a lattice of quasivarieties or a quasivariety lattice. The Birkhoff–Maltsev Problem asks which lattices are isomorphic to lattices of quasivarieties. A lattice L is called unreasonable if the set of all finite sublattices of L is not computable, that is, there is no algorithm for deciding whether a finite lattice is a sublattice of L. The main result of this paper states that for any signature σ containing at least one non-constant operation, there is a quasivariety [Formula: see text] of signature σ such that the quasivariety lattice [Formula: see text] is unreasonable. Moreover, there are uncountable unreasonable lattices of quasivarieties. We also present some corollaries of the main result.


Sign in / Sign up

Export Citation Format

Share Document