31 citations · 111 across the 33 of their papers we have counts for
1 paper · 2 filters
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 (\equi…