A criterion for membership in archimedean semirings

Markus Schweighofer

We prove an extension of the classical Real Representation Theorem (going back to Krivine, Stone, Kadison, Dubois and Becker and often called Kadison-Dubois Theorem). It is a crite…