TY - RPRT TI - Abstract Projective Lines AU - Anders Kock PY - 2009 UR - https://arxiv.org/abs/0912.0822 ID - 0912.0822 ER -