Talk:Pierce–Birkhoff conjecture

Commutative rings with 1 should be replaced by real closed fields. General ordered rings have no order structure.