Search

• < Previous
• 1
• Next >

Undecidable First-Order Theories of Affine Geometries

Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation \beta, and a quaternary equidistance relation \equiv. Tarski established, inter alia, that the first-order (FO) theory of (R^2,\beta,\equiv) is decidable. Aiello and van&nbsp;[&hellip;]