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 ...
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 ...
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: ...