Geodesic
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

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 
@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},
     publisher = {mathdoc},
     volume = {116},
     number = {2},
     year = {1991},
     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
PB  - mathdoc
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  - 
%0 Journal Article
%A Kosiorek, Jarosław
%T An axiom system for full $3$-dimensional Euclidean geometry
%J Mathematica Bohemica
%D 1991
%P 113-118
%V 116
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.1991.126139/
%R 10.21136/MB.1991.126139
%G en
%F 10_21136_MB_1991_126139
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. http://geodesic.mathdoc.fr/articles/10.21136/MB.1991.126139/

Cité par Sources :