Handelman's theorem for an order unit normed space
arXiv:1609.08014
Abstract
We give a detailed proof D. Handelman's theorem stating (in the context of an order unit normed space) that a monotone sigma-complete order unit normed space is a Banach space.