{"id":"arxiv/2607.16598","url":"https://arxiv.org/abs/2607.16598","tags":["math.LO"],"score":0,"title":"Conuclei on varieties of hoops","domain":"math.LO","source":"arxiv","authors":["Sebastián Buss","Diego Castaño","José Patricio Díaz Varela"],"reviews":0,"subject":"math.LO","summary":"A conucleus $δ$ on a partially ordered monoid $\\mathbf{A}$ is an interior operator that satisfies $δ(a) \\cdot δ(b) \\leq δ(a \\cdot b)$ and $δ(a) \\cdot δ(1) = δ(a)$ for all $a,b \\in A$. A conucleus is multiplicative if the equality $δ(a \\cdot b) = δ(a) \\cdot δ(b)$ holds for all $a,b \\in A$. In this article we focus on the study of conuclei on hoops, structures which generalize well-known classes of algebras, such as the class of MV-algebras and BL-algebras. Among several results, we provide a Glivenko-type theorem for conuclei. Special emphasis is given to term definable conuclei. The main…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-18","reactions":{}}