2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 2 cited
Undecidable First-Order Theories of Affine Geometries
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.…
math.LO2012
Undecidable First-Order Theories of Affine Geometries
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…