The paper studies algebraic structures built around three operations: addition, multiplication, and exponentiation, together with the constant 1. The "High School Identities" (HSI) are the familiar rules we learn early on, such as the commutativity of addition and multiplication, and laws like x^(a+b) = x^a times x^b. The natural numbers satisfy all these rules, but it has been known for decades that the High School Identities are not a complete description of everything true about natural number arithmetic with these operations. An algebra that obeys the High School Identities but violates some equation that holds for natural numbers is called a Gurevich algebra, and finding and classifying such objects is a longstanding open problem.
The paper makes progress on this problem by connecting it to a classical result from logic. Alex Wilkie proved in the 1990s that the set of equations true in the natural numbers with these operations can in principle be decided algorithmically, given the right framework. The authors use this connection to show that any algebra satisfying the High School Identities and also the rule that multiplying any element by itself gives back the same element (called multiplicative idempotence) automatically satisfies every equation valid for the natural numbers. In other words, such algebras cannot be Gurevich algebras. This is a significant positive result, pinning down a large class of well-behaved structures.
Using this main theorem as a tool, the authors systematically check small finite algebras. They confirm that none of the 44 three-element HSI algebras are Gurevich algebras, and they extend partial results to four- and five-element algebras. They also show, perhaps surprisingly, that every Brouwerian lattice, a well-studied family of structures from logic and order theory, fits inside the variety of the natural numbers under a simple reinterpretation of operations. This implies that the collection of natural sub-theories of natural number arithmetic with exponentiation is extraordinarily rich, containing uncountably many distinct fragments.