Scheme theory for commutative semirings

In this survey, we describe two different approaches to constructing affine schemes for commutative semirings: one based on prime ideals, and another based on prime kernels (also called subtractive ideals). We then explain how these two approaches are related through the theory of universal valuations.