FOM: Axiomatization of Geometry

[Moshe' Machover]

At 12:41 pm -0500 4/2/99, Stephen G Simpson wrote:
>Harvey, I like your results in 1 Feb 1999 04:52:48 concerning complete
>axiomatizations of Euclidean plane geometry.  The idea of using
>equidistance as a primitive seems nice.

This rings a distant bell. In 1959/60, when I was in Warsaw, I attended a
course of lectures of Wanda Szmielew which *I think* used a similar
approach. But I can't remember the details. She wrote a book on the
subject, so it should be easy to check.

  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %%  Moshe' Machover                 | E-MAIL: moshe.machover at kcl.ac.uk %%
  %%  Department of Philosophy        | FAX (office)*: +44 171 873 2270  %%
  %%  King's College, London          | PHONE (home)*: +44 181 969 5356  %%
  %%  Strand                          |                                  %%
  %%  London WC2R 2LS                 |  * If calling from UK, replace   %%
  %%  England                         |    +44 by 0                      %%
  %%  http://www.kcl.ac.uk/kis/schools/hums/philosophy/staff/moshem.html %%
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%