Related papers: Are locally finite MV-algebras a variety?

The Mal'tsev product of two varieties of similar algebras is always a quasivariety. We consider the question of when this quasivariety is a variety. The main result asserts that if $\mathcal{V}$ is a strongly irregular variety with no…

Over each nontrivial finite group $G$, there exists a finite system of equations having no solutions in larger finite groups but having a solution in a periodic group containing $G$. We prove several similar facts about amenable, orderable,…

We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf(Set)-enriched category theory, where Endf(Set) is the category of finitary endofunctors of Set. We identify finitary monads with…

Let A be a finitely generated connected graded k-algebra defined by a finite number of monomial relations. Then there is a finite directed graph, Q, the Ufnarovskii graph of A, for which the categories QGr(A) and QGr(kQ) are equivalent:…

We study the problem of classifying triangulated categories with finite-dimensional morphism spaces and finitely many indecomposables over an algebraically closed field. We obtain a new proof of the following result due to Xiao and Zhu: the…

We define the class of rigid Frobenius algebras in a (non-semisimple) modular category and prove that their categories of local modules are, again, modular. This generalizes previous work of A. Kirillov, Jr. and V. Ostrik [Adv. Math. 171…

We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions…

We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result is an example of finite algebras whose variety is not finitely axiomatisable in first order logic, but…

Our main issue was to understand the connection between \L ukasiewicz logic with product and the Pierce-Birkhoff conjecture, and to express it in a mathematical way. To do this we define the class of \textit{f}MV-algebras, which are…

We introduce and study a unital version of shift equivalence for finite square matrices over the nonnegative integers. In contrast to the classical case, we show that unital shift equivalence does not coincide with one-sided eventual…

We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…

The paper provides a study of pseudo MV-algebras with square roots. We introduce different notions of a square root on a pseudo MV-algebra, and present their main properties. We show that the class of pseudo-MV-algebras with square roots is…

We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators…

In this paper, some properties and applications of MV-algebras are provided. We define a Fibonacci sequence in an MV-algebra and we prove that such a stationary sequence gives us an idempotent element. Taking into account of the…

We investigate a new class of Lie algebras, which are tame locally extended affine Lie algebras of nullity 1. It is an infinite-rank analog of affine Lie algebras, and their centerless cores are a local version of loop algebras. Such…

We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories…

We determine the profinite completions of MV-algebras, and obtain a description that generalizes the well known profinite completions of Boolean algebras as the power sets of their Stone spaces. We also use the description found to…

In three recaent papers of G. Dimov, many Stone-type duality theorems for the category of locally compact Hausdorff spaces and continuous maps and some of its subcategories were proved. The dual objects in all these theorems are the local…

This paper reviews the equivalence between the category of taut adic spaces that are locally of finite type and the category of strictly analytic Berkovich spaces. An explicit construction of this functor is provided by using the…

We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…