Related papers: Residuated lattices do not have the amalgamation p…

The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assignment within some member of the class. By Adyan (1955) and…

In this paper, a combination of algebraic and topological methods is applied to obtain new and structural results on Gelfand residuated lattices. It is demonstrated that Gelfand's residuated lattices strongly tied up with the hull-kernel…

We extend the theory of atomized semilattices to the infinite setting. We show that it is well-defined and that every semilattice is atomizable. We also study atom redundancy, focusing on complete and finitely generated semilattices and…

We prove several rigorous results about the asymptotic behaviour of the numbers of tadpoles (or lassos) embedded in a lattice, including cases where the head is subject to a constraint like being unknotted, or where the tail pierces the…

We prove several results relating the nonvanishing and the existence of good minimal models of different pairs that have the same underlying variety.

Let X be a right-angled building. We show that the lattices in Aut(X) share many properties with tree lattices. For example, we characterise the set of covolumes of uniform and of nonuniform lattices in Aut(X), and show that the group…

Let $G$ be a non-compact semisimple Lie group with finite centre and finitely many components. We show that any finitely generated group $\Gamma$ which is quasi-isometric to an irreducible lattice in $G$ has the $R_\infty$-property, namely,…

This paper explores the concept of \'{e}tal\'{e} spaces associated with residuated lattices. Notions of bundles and \'{e}tal\'{e}s of residuated lattices over a given topological space are introduced and investigated. For a topological…

We prove that compact non-flat manifolds with constant sectional curvature admit no conformal product structure. Furthermore, we demonstrate that the methods extend naturally to irreducible, compact locally symmetric spaces of non-positive…

It is unknown so far, whether the lattice of all varieties of monoids satisfies some non-trivial identity. The objective of this note is to give the negative answer to this question. Namely, we prove that any finite lattice is a homomorphic…

We solve the classification problem for integrable lattices of the form $u_{,t}=f(u_{-2},\dots,u_2)$ under the additional assumption of invariance with respect to the group of linear-fractional transformations. The obtained list contains 5…

We construct a distributive algebraic lattice D that is not isomorphic to the congruence lattice of any lattice. This solves a long-standing open problem, traditionally attributed to R. P. Dilworth, from the forties. The lattice D has…

We consider the preservation of properties of being finitely generated, being finitely presented and being residually finite under direct products in the context of different types of algebraic structures. The structures considered include…

Topological defects in crystalline lattices are considered. In relation to physical realizability of such defects, criteria for geometric compatibility of the lattice distortions are formulated. For 2D lattices it is shown that the answer…

We show that the above\,-\,named property (after M.\,Larsen and V.\,Lunts) does not hold in general.

We prove that for any free lattice F with at least $\aleph\_2$ generators in any non-distributive variety of lattices, there exists no sectionally complemented lattice L with congruence lattice isomorphic to the one of F. This solves a…

It was conjectured that multiplicity of a singularity is bi-Lipschitz invariant. We disprove this conjecture, constructing examples of bi-Lipschitz equivalent complex algebraic singularities with different values of multiplicity.

Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTL-algebras, IMTL-algebras, BL-algebras, NM-algebras and bounded hoops.

We show that the variety of modal lattices has the superamalgamation property. As a consequence, we obtain that the weak positive modal logic has the Craig interpolation property. Our proof employs the recent duality for modal lattices…

This is a survey of characterizations and relationships between some properties of lattices, particularly the modular, Arguesian, linear, and distributive properties, but also some other related properties. The survey emphasizes finite and…