TY - RPRT TI - A further simplification of Tarski's axioms of geometry AU - Timothy Makarios PY - 2013 UR - https://arxiv.org/abs/1306.0066 ID - 1306.0066 ER -