Related papers: Structure theorems for idempotent residuated latti…
This paper investigates the interplay between algebraic structure, topology, and differentiability in Clifford semigroups. The study is developed along three main themes. First, in the compact Hausdorff setting, we provide an explicit…
For a finite lattice $\Lambda$, $\Lambda$-ultrametric spaces have, among other reasons, appeared as a means of constructing structures with lattices of equivalence relations embedding $\Lambda$. This makes use of an isomorphism of…
Continuous reducibilities are a proven tool in computable analysis, and have applications in other fields such as constructive mathematics or reverse mathematics. We study the order-theoretic properties of several variants of the two most…
In this paper we give equational presentations of the varieties of {\em integral bounded residuated lattice-ordered commutative monoids} (bounded residuated lattices for short) satisfying the \emph{General Apple Property} (GAP), that is,…
In this article we explain the theory of rigid residue complexes in commutative algebra and algebraic geometry, summarizing the background, recent results and anticipated future results. Unlike all previous approaches to Grothendiec…
We prove that the universal theory and the quasi-equational theory of bounded residuated distributive lattice-orderegroupoids are both EXPTIME-complete. Similar results areproven for bounded distributive lattices with a unary or binary…
The structures $\langle M,\subseteq^M\rangle$ arising as the inclusion relation of a countable model of sufficient set theory $\langle M,\in^M\rangle$, whether well-founded or not, are all isomorphic. These structures $\langle…
We present a family of local involutive integral bounded residuated lattice-ordered commutative monoids (involutive residuated lattices, for short) having Boolean term, radical term (see \cite{CT12} and \cite{T23}), and satisfying GAP…
We build on the recent characterisation of congruences on the infinite twisted partition monoids $\mathcal{P}_{n}^\Phi$ and their finite $d$-twisted homomorphic images $\mathcal{P}_{n,d}^\Phi$, and investigate their algebraic and…
It has become obvious in the recent development that the structural Ramsey property is a categorical property: it depends not only on the choice of objects, but also on the choice of morphisms involved. In this paper we explicitely put the…
In this paper we continue the study of edge-colored graphs associated with finite idempotent algebras initiated in arXiv:2006.09599. We prove stronger connectivity properties of such graphs that will allows us to demonstrate several useful…
We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a finite language is congruence meet-semidistributive and residually less than some finite cardinal, then…
There is a long history of studying Ramsey theory using the algebraic structure of the Stone-\v{C}ech compactification of discrete semigroup. It has been shown that various Ramsey theoretic structures are contained in different algebraic…
We consider Euclidean lattices spanned by images of algebraic conjugates of an algebraic number under Minkowski embedding, investigating their rank, properties of their automorphism groups and sets of minimal vectors. We are especially…
Let $G$ be a locally compact amenable group. We say that G has property (M) if every closed subgroup of finite covolume in G is cocompact. A classical theorem of Mostow ensures that connected solvable Lie groups have property (M). We prove…
Almost any reasonable class of finite relational structures has the Ramsey property or a precompact Ramsey expansion. In contrast to that, the list of classes of finite algebras with the precompact Ramsey expansion is surprisingly short. In…
In this paper we provide concrete constructions of idempotents to represent typical singular matrices over a given ring as a product of idempotents and apply these factorizations for proving our main results. We generalize works due to…
In a previous work, (dual)-$\mathfrak{m}$-Rickart lattices were studied. Now, in this paper, we introduce $\mathfrak{m}$-endoregular lattices as those lattices $\mathcal{L}$ such that $\mathfrak{m}$ is a regular monoid, where $\mathfrak{m}$…
In this paper, we define a property, trimness, for lattices. Trimness is a not-necessarily-graded generalization of distributivity; in particular, if a lattice is trim and graded, it is distributive. Trimness is preserved under taking…
We completely classify all varieties of aperiodic monoids with central idempotents whose subvariety lattice is distributive.