[FOM] FOM: decidability of Euclidean geometry

[sandylemberg@juno.com]

Fred

You may have already noticed it, but in case you haven't, the review of
the Hartshorne book in the January Monthly makes mention of a proof by
Tarski of completeness and decidability of Euclidean geometry. The
reference is to "Tarski and Geometry" by L. W. Szczerba in the JSL, vol.
54, 1986, pp 907-912. The systems and results are discussed on pp
908-909.

Sandy