Finite models for positive combinatorial and exponential algebra

Tumadhir Alsulami, Marcel Jackson

We use high girth, high chromatic number hypergraphs to show that there are finite models of the equational theory of the semiring of nonnegative integers whose equational theory h…