Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory

Bas Spitters. Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory. Order, 27(2):225-233, 2010. [doi]

Abstract

Abstract is missing.