Discrete versions of the Beckman-Quarles theorem from the definability results of R. M. Robinson (Q2765390)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Discrete versions of the Beckman-Quarles theorem from the definability results of R. M. Robinson |
scientific article; zbMATH DE number 1694690
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Discrete versions of the Beckman-Quarles theorem from the definability results of R. M. Robinson |
scientific article; zbMATH DE number 1694690 |
Statements
11 November 2002
0 references
isometry
0 references
existentially definable
0 references
0.8924426
0 references
0.8732638
0 references
0.8703792
0 references
0.86785305
0 references
0.85509694
0 references
0.85430604
0 references
0.8466034
0 references
0.84374017
0 references
0.84301746
0 references
Discrete versions of the Beckman-Quarles theorem from the definability results of R. M. Robinson (English)
0 references
There is given a different proof for the main results in a previous paper by the same author [Aequationes Math. 59, 124-133 (2000; Zbl 0948.51014)]. The novelty is due to an old result of \textit{R. M. Robinson} [Binary relations as primitive notions in elementary geometry, in: The axiomatic method (L. Henkin, P. Suppes and A. Tarski, eds.), North-Holland, Amsterdam, 68-85 (1959; Zbl 0088.36901)].NEWLINENEWLINEFor the entire collection see [Zbl 0972.00028].
0 references
