  We develop an extension of valuations theorem for suitable extensions of
idempotent semirings. As an application, we give a new proof for the classical
case of fields. Along the way, we develop characteristic one analogues of some
central results in the theory of valuation rings.
