{"id":"arxiv/2609.16922","url":"https://arxiv.org/abs/2609.16922","tags":["math.LO"],"score":0,"title":"Multiplicatively idempotent HSI algebras satisfy all equations of $\\mathbb{N}$","domain":"math.LO","source":"arxiv","authors":["Tumadhir Alsulami","Marcel Jackson","Michael Kinyon"],"reviews":0,"subject":"math.LO","summary":"An algebra with binary operations $+,\\cdot,\\uparrow$ and constant $1$ is called an HSI algebra if it satisfies the basic commutative semiring laws for $+,\\cdot,1$ on~$\\mathbb{N}$ as well as the familiar index laws for exponentiation $\\uparrow$. These basic axioms, known as the ``High School Identities'' are known to be incomplete, and an algebra satisfying $\\HSI$ but failing an equation valid on ${\\bf N}:=\\langle \\mathbb{N};+,\\cdot,\\uparrow,1\\rangle$ is called a \\emph{Gurevič algebra}. It is currently unknown if there is an algorithm to recognise finite Gurevič algebras, and the best current…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-15","reactions":{}}