Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry. (English) Zbl 1038.51014
We have been still interested in axiomatization of elementary geometry. In this paper the author gives an axiom of \(n\)-dimensional hyperbolic geometry and Euclidean geometry in a one-sorted first-order language. The axiom he constructs is remarkable because it only starts from ‘spheres’ and ‘tangency of spheres’. This is a good work as the axiom is very plain but it is enough.
Reviewer: Kazushi Ahara (Kawasaki)
MSC:
51M05 | Euclidean geometries (general) and generalizations |
51M10 | Hyperbolic and elliptic geometries (general) and generalizations |
03B30 | Foundations of classical theories (including reverse mathematics) |
Keywords:
axiom; \(n\)-dimensional hyperbolic geometry; Euclidean geometry; one-sorted first-order languageReferences:
[1] | Hfer R., Proc. Amer. Math. Soc. 128 pp 1197– (2000) |
[2] | Makowiecka H., Sci. Math. Astronom. Phys. 25 pp 269– (1977) |
[3] | Menger K., Proc. Nat. Acad. Sci. U.S.A. 24 pp 486– (1938) |
[4] | Pambuccian, V.: A logical look at characterizations of geometric transformations under mild hypotheses. Indag. Math. (N.S.) 11 (2000), 453-462 · Zbl 0987.51010 |
[5] | Pambuccian, V.: Binary relations as single primitive notions for hyperbolic three-space and the inversive plane. Indag. Math. (N.S.) 11 (2000), 587-592 · Zbl 1044.51012 |
[6] | Pramowski K., Bull. Polish Acad. Sci. Math. 31 pp 23– (1983) |
[7] | Pramowski K., Zeszyty Nauk. Geometria 15 pp 73– (1986) |
[8] | Scott D., Indag. Math. 18 pp 456– (1956) |
[9] | Schwabh user, W., Szmielew, W., and Tarski, A.: Metamathematische Methoden in der Geometrie. Springer-Verlag, Berlin 1983 · Zbl 0564.51001 |
[10] | Schwabhuser W., Fund. Math. 82 pp 347– (1975) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.