TY - RPRT TI - Minimal bounds and members of effectively closed sets AU - Ahmet Çevik PY - 2023 UR - https://arxiv.org/abs/1806.09368 ID - 1806.09368 ER -