, 2016, 'Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach', Synthese 193 (1), 31-70.