Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory

From MaRDI portal
Publication:981685

DOI10.1007/S11083-010-9147-3zbMath1200.03044arXiv0807.2454OpenAlexW3098887652MaRDI QIDQ981685

Bas Spitters

Publication date: 2 July 2010

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0807.2454







Cites Work




This page was built for publication: Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory