
COMMENTS

An HSIalgebra is a structure (1, +, *, ^) over some set such that Tarski's highschool identities hold: addition and multiplication are commutative and associative, multiplication distributes over addition, 1 is the multiplicative identity, x^1 = x, 1^x = 1, x^y * x^z = x^(y+z), (xy)^z = x^z * y^z, and (x^y)^z = x^(y*z).
Burris & Lee (1992) find a(3) = 44.


LINKS

Table of n, a(n) for n=1..3.
S. Burris and S. Lee, Small models of the high school identities, International Journal of Algebra and Computation 2:2 (1992), pp. 139178.
S. Burris and S. Lee, Tarski's high school identities, Amer. Math. Monthly 100 (1993), 231236.
