The axiomatics of ordered geometry: I. Ordered incidence spaces (Q533109)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The axiomatics of ordered geometry: I. Ordered incidence spaces |
scientific article |
Statements
The axiomatics of ordered geometry: I. Ordered incidence spaces (English)
0 references
2 May 2011
0 references
The author presents a survey of the development of the axiomatic theory of ordered and half-ordered incidence geometry, starting from \textit{M. Pasch}'s book [Vorlesungen über neuere Geometrie. Leipzig. Teubner (1882; JFM 14.0498.01)]. For reasons of comparability, the different axiom systems are transferred into one common language, namely first-order logic. Only in the case of Archimedian ordered geometry extensions of first-order logic are needed. The paper contains a wealth of information, and it will certainly become a standard reference in the field. Particularly valuable is the bibliography which contains 358 entries and appears to be rather complete.
0 references
ordered geometry
0 references
axiom system
0 references
half-ordered geometry
0 references
Pasch axiom
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
