A constructive theory of ordered affine geometry (Q1279729)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1251213
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A constructive theory of ordered affine geometry |
scientific article; zbMATH DE number 1251213 |
Statements
A constructive theory of ordered affine geometry (English)
0 references
21 November 1999
0 references
The inclusion of some notion of orientation (or ordering) into the axiomatics for Euclidean geometry is necessary (although missing in Euclid's ``Elements''), as we know since Pasch's ``Vorlesungen über neuere Geometrie'' (1882). The author extends his attempts towards a constructive axiomatization of elementary geometry [begun in the author's paper, Ann. Pure Appl. Logic 76, No. 2, 169-200 (1995; Zbl 0836.03034)], including a notion of ``unequally directed lines''. These axioms allow to deduce Pasch's axiom, and to introduce a betweenness relation (or a pair of orders) on each line. Desargues' property (or embeddability into a space of higher dimension) is not discussed.
0 references
constructive geometry
0 references
affine geometry
0 references
Another Logical Framework
0 references
projective geometry
0 references
apartness geometry
0 references
0.7897689938545227
0 references
0.7815822958946228
0 references
