Bas Spitters. Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory. Order, 27(2):225-233, 2010. [doi]
@article{Spitters10, title = {Constructive Pointfree Topology Eliminates Non-constructive Representation Theorems from Riesz Space Theory}, author = {Bas Spitters}, year = {2010}, doi = {10.1007/s11083-010-9147-3}, url = {http://dx.doi.org/10.1007/s11083-010-9147-3}, researchr = {https://researchr.org/publication/Spitters10}, cites = {0}, citedby = {0}, journal = {Order}, volume = {27}, number = {2}, pages = {225-233}, }