| Title:
|
An axiom system for full $3$-dimensional Euclidean geometry (English) |
| Author:
|
Kosiorek, Jarosław |
| Language:
|
English |
| Journal:
|
Mathematica Bohemica |
| ISSN:
|
0862-7959 (print) |
| ISSN:
|
2464-7136 (online) |
| Volume:
|
116 |
| Issue:
|
2 |
| Year:
|
1991 |
| Pages:
|
113-118 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| 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. (English) |
| Keyword:
|
axiom system |
| Keyword:
|
Euclidean geometry |
| Keyword:
|
projective space |
| Keyword:
|
elliptic plane |
| Keyword:
|
formally real pythagorean field |
| MSC:
|
03B30 |
| MSC:
|
51A05 |
| MSC:
|
51M05 |
| MSC:
|
51M10 |
| idZBL:
|
Zbl 0734.03012 |
| idMR:
|
MR1111996 |
| DOI:
|
10.21136/MB.1991.126139 |
| . |
| Date available:
|
2009-09-24T20:43:51Z |
| Last updated:
|
2020-07-29 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/126139 |
| . |
| Reference:
|
[1] M. Kordos: Elements of projective and projective-metric geometry.(Polish). PAN Warszawa (1984), 131. |
| Reference:
|
[2] M. Kordos: Elliptic geometry as a theory of one binary relation.Bull. PAN. vol. XXI, No. 7 (1973). Zbl 0267.50002, MR 0333927 |
| . |
