TY - RPRT TI - Order topology on orthocomplemented posets of linear subspaces of a pre-Hilbert space AU - David Buhagiar AU - Emmanuel Chetcuti AU - Hans Weber PY - 2018 UR - https://arxiv.org/abs/1812.04029 ID - 1812.04029 ER -