TY - RPRT TI - Definable compactness in definably complete locally o-minimal structures AU - Masato Fujita PY - 2023 DO - 10.4064/fm230612-19-3 UR - https://arxiv.org/abs/2303.01644 ID - 2303.01644 ER -