TY - RPRT TI - Synthetic projective lines, geometric closure and AB-sets AU - Koen Thas PY - 2022 UR - https://arxiv.org/abs/2206.06815 ID - 2206.06815 ER -