An axiom system for full $3$-dimensional Euclidean geometry
Mathematica Bohemica, Tome 116 (1991) no. 2, pp. 113-118
Voir la notice de l'article provenant de la source Czech Digital Mathematics Library
MR Zbl
We present an axiom system for class of full Euclidean spaces (i.e. of projective closures of Euclidean spaces) and prove the representation theorem for our system, using connections between Euclidean spaces and elliptic planes.
We present an axiom system for class of full Euclidean spaces (i.e. of projective closures of Euclidean spaces) and prove the representation theorem for our system, using connections between Euclidean spaces and elliptic planes.
DOI :
10.21136/MB.1991.126139
Classification :
03B30, 51A05, 51M05, 51M10
Keywords: axiom system; Euclidean geometry; projective space; elliptic plane; formally real pythagorean field
Keywords: axiom system; Euclidean geometry; projective space; elliptic plane; formally real pythagorean field
Kosiorek, Jarosław. An axiom system for full $3$-dimensional Euclidean geometry. Mathematica Bohemica, Tome 116 (1991) no. 2, pp. 113-118. doi: 10.21136/MB.1991.126139
@article{10_21136_MB_1991_126139,
author = {Kosiorek, Jaros{\l}aw},
title = {An axiom system for full $3$-dimensional {Euclidean} geometry},
journal = {Mathematica Bohemica},
pages = {113--118},
year = {1991},
volume = {116},
number = {2},
doi = {10.21136/MB.1991.126139},
mrnumber = {1111996},
zbl = {0734.03012},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.1991.126139/}
}
TY - JOUR AU - Kosiorek, Jarosław TI - An axiom system for full $3$-dimensional Euclidean geometry JO - Mathematica Bohemica PY - 1991 SP - 113 EP - 118 VL - 116 IS - 2 UR - http://geodesic.mathdoc.fr/articles/10.21136/MB.1991.126139/ DO - 10.21136/MB.1991.126139 LA - en ID - 10_21136_MB_1991_126139 ER -