{"id":"arxiv/2610.37108","url":"https://arxiv.org/abs/2610.37108","tags":["math.LO","cs.LO"],"score":0,"title":"Finite $\\mathbf{BM}$-algebras and fixed-point combinators","domain":"math.LO","source":"arxiv","authors":["Takuma Imamura"],"reviews":0,"subject":"math.LO","summary":"We study algebras for the $\\mathbf{BM}$-, $\\mathbf{BI}$-, and $\\mathbf{BMI}$-fragments of combinatory logic, where $\\mathbf{B} xyz \\to_{w} x\\left(yz\\right)$, $\\mathbf{M} x \\to_{w} xx$ and $\\mathbf{I} x \\to_{w} x$. We prove that every finite $\\mathbf{BM}$-algebra $\\mathcal{A}$ contains an element $Y$ satisfying $Yx = x\\left(Yx\\right)$ for all $x\\in A$. Moreover, a single closed $\\mathbf{BM}$-term represents such an element in every finite $\\mathbf{BM}$-algebra. On the other hand, we show that there exists an infinite $\\mathbf{BMI}$-algebra with no such element. Consequently, the variety of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-27","reactions":{}}