TY - RPRT TI - Existence of strongly proper dyadic subbases AU - Yasuyuki Tsukamoto PY - 2017 DO - 10.23638/lmcs-13(1:18)2017 UR - https://arxiv.org/abs/1703.05212 ID - 1703.05212 ER -