Axioms for Absolute Geometry. II
Canadian journal of mathematics, Tome 21 (1969) no. 1, pp. 876-883
Voir la notice de l'article provenant de la source Cambridge University Press
In this paper I continue the process, begun in (2), of reducing and weakening the axioms of congruence needed for absolute geometry. The congruence axioms Cl*–C4*, C4**, and C5a–C5c (frequently referred to below) can all be found in (2) and will not be quoted again here. (This paper should be read in conjunction with (2); any attempt to make it self-contained would result in the repetition of large parts of (2).) The notation of (2) will be used throughout the paper.The main result here is that axiom C5c is unnecessary. This is shown in § 1. In § 2 I discuss three other points arising from (2). Note added in proof.Since writing this paper, I have constructed examples of (a) Archimedean planes satisfying Cl*-C4* in which not all points are isometric, (b) non-Archimedean planes satisfying Cl*-C4*but not C4**,and (c) one-dimensional geometries in which 2.1 (with “plane” replaced by “line“) is false.
Axioms for Absolute Geometry. II. Canadian journal of mathematics, Tome 21 (1969) no. 1, pp. 876-883. doi: 10.4153/CJM-1969-095-8
@misc{10_4153_CJM_1969_095_8,
title = {Axioms for {Absolute} {Geometry.} {II}},
journal = {Canadian journal of mathematics},
pages = {876--883},
year = {1969},
volume = {21},
number = {1},
doi = {10.4153/CJM-1969-095-8},
url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1969-095-8/}
}
[1] 1. Forder, H. G., The foundations of Euclidean geometry (Macmillan, London, 1927; Dover, New York, 1956). Google Scholar
[2] 2. Rigby, J. F., Axioms for absolute geometry, Can. J. Math. 20 (1968), 158–181. Google Scholar
[3] 3. Rigby, J. F., Axioms for absolute geometry. III , Can. J. Math, (to appear). Google Scholar
[4] 4. Sierpinski, W., Cardinal and ordinal numbers, Polska Akademia Nauk, Monographie Matematyczne, Tom 34 (Państwowe Wydawnictwo Naukowe, Warsaw, 1958). Google Scholar
Cité par Sources :