Related papers: Residuated lattices do not have the amalgamation p…
The notion of $n$-normal residuated lattice, as a class of residuated lattices in which every prime filter contains at most $n$ minimal prime filters, is introduced and studied. Before that, the notion of $\omega$-filter is introduced and…
It was recently proven that the total multiplicity in the decomposition into irreducibles of the tensor product lambda x mu of two irreducible representations of a simple Lie algebra is invariant under conjugation of one of them; at a given…
It is shown that operations of equivalence cannot serve for building algebras which would induce orthomodular lattices as the operations of implication can. Several properties of equivalence operations have been investigated. Distributivity…
We show that V(A(T)) does not have definable principal subcongruences or bounded Maltsev depth. When the Turing machine T halts, V(A(T)) is an example of a finitely generated semilattice based (and hence congruence meet-semidistributive)…
One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…
We give an elementary proof of low rank cases of the conjecture that the tensor product of two semistable Euclidean lattices is again semistable.
Using conjugation of Shimura varieties, we produce nonisomorphic, cocompact, torsion-free lattices in $\mathrm{PU}(n,1)$ with isomorphic profinite completions for all $n \ge 2$. This disproves a conjecture of D. Kazhdan and gives the first…
We prove several fundamental results about divisorial integral domains in the setup of multiplicative lattices.
In residuated binars there are six non-obvious distributivity identities of $\cdot$,$/$,$\backslash$ over $\wedge, \vee$. We show that in residuated binars with distributive lattice reducts there are some dependencies among these…
We prove that persistently finite algebras are not created by completions of algebras, in any ordered discriminator variety. A persistently finite algebra is one without infinite simple extensions. We prove that finite measurable relation…
Let L denote the variety of lattices. In 1982, the second author proved that L is strongly tolerance factorable, that is, the members of L have quotients in L modulo tolerances, although L has proper tolerances. We did not know any other…
The residuated lattices form one of the most important algebras of fuzzy logics and have been heavily studied by people from various different points of view. Sheaf presentations provide a topological approach to many algebraic structures.…
Let $G$ be a real Lie group and $\Gamma < G$ be a discrete subgroup of $G$. Is $\Gamma$ residually finite? This paper describes known positive and negative results then poses some questions whose answers will lead to a fairly complete…
We survey results devoted to the lattice of varieties of monoids. Along with known results, some unpublished results are given with proofs. A number of open questions and problems are also formulated.
The AMNM property for commutative Banach algebras is a form of Ulam stability for multiplicative linear functionals. We show that on any semilattice of infinite breadth, one may construct a weight for which the resulting weighted…
We completely determine all varieties of monoids on whose free objects all fully invariant congruences or all fully invariant congruences contained in the least semilattice congruence permute. Along the way, we find several new monoid…
We show that complex symplectic structures need not be preserved under small deformations, and we find sufficient conditions for this to happen. We study various cohomologies of compact complex symplectic manifolds, obtaining some…
Distributive Stonean residuated lattices are closely related to Stone algebras since their bounded lattice reduct is a Stone algebra. In the present work we follow the ideas presented by Chen and Gr\"{a}tzer and try to apply them for the…
In this paper, we introduce the concept of residuated implications derived from quasi-overlap functions on lattices and prove some related properties. In addition, we formalized the residuation principle for the case of quasi-overlap…
We establish a direct correspondence between two congruence poroperties for finite algebras. The first property is that minimal sets of type i omit tails. The second property is that congruence lattices omit pentagons of type i.