9
votes
1answer
281 views

Can Tarski decide constructibility in elementary geometry?

Can the decision routine for Tarski's Elementary geometry be extended to decide when an existence claim in that theory can be instantiated by a compass and straightedge construction? The answer does ...
2
votes
0answers
184 views

Axiomatization of the incidence geometry of the Euclidean plane

There are several well-known axiomatizations of Euclidean plane geometry, the language of which is usually considered to include at least the relations of incidence (point-line, point-segment, or ...
2
votes
1answer
481 views

Reference: Countable Models of (Non-)Euclidean Geometry

Has there been a survey written on the model theory of first-order (non-)Euclidean geometry in the spirit of Hilbert and Tarski? I'm especially interested in two aspects of the model theory: ...