Discrete versions of the Beckman-Quarles theorem from the definability results of Raphael M. Robinson
arXiv:math/0102023
Abstract
We derive author's discrete forms of the Beckman-Quarles theorem from the definability results of Raphael M. Robinson.
enlarged version, LaTeX2e