About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Kosiorek, Jarosław
An axiom system for full $3$-dimensional Euclidean geometry. (English). Mathematica Bohemica, vol. 116 (1991), issue 2, pp. 113-118
MSC: 03B30, 51A05, 51M05, 51M10 | MR 1111996 | Zbl 0734.03012 | DOI: 10.21136/MB.1991.126139
Keywords:
axiom system; Euclidean geometry; projective space; elliptic plane; formally real pythagorean field
Summary:
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.
References:
[1] M. Kordos: Elements of projective and projective-metric geometry. (Polish). PAN Warszawa (1984), 131.
[2] M. Kordos: Elliptic geometry as a theory of one binary relation. Bull. PAN. vol. XXI, No. 7 (1973). MR 0333927 | Zbl 0267.50002
Partner of
EuDML logo