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]

@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},
}