31 citations · 111 across the 33 of their papers we have counts for
1 paper · 1 filter
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation β, and a quaternary equidistance relation \equiv.…