Abstract
We point out that the results in [12] are the model-theoretic counterpart of results established syntactically in [3] and [10], and that Martin's theorem for the Euclidean 3- or higher-dimensional case, established in [5], does not depend on the Beckman-Quarles theorem, and can be rephrased as a result about axiomatizability and definability.
Original language | English (US) |
---|---|
Pages (from-to) | 94-99 |
Number of pages | 6 |
Journal | Journal of Geometry |
Volume | 84 |
Issue number | 1-2 |
DOIs | |
State | Published - Mar 2006 |
Keywords
- Definability
- Equilaterality
- Euclidean geometry
- Pieri's relation
ASJC Scopus subject areas
- Geometry and Topology