Back to Search
Start Over
Simplifying the axiomatization for ordered affine geometry via a theorem prover.
- Source :
-
Journal of Geometry . Aug2023, Vol. 114 Issue 2, p1-6. 6p. - Publication Year :
- 2023
-
Abstract
- Jan von Plato proposed in 1998 an intuitionist axiomatization of ordered affine geometry consisting of 22 axioms. It is shown that axiom I.7, which is equivalent to a conjunction of four statements, two of which are redundant, can be replaced with a simpler axiom, which is von Plato's Theorem 3.10. [ABSTRACT FROM AUTHOR]
- Subjects :
- *AFFINE geometry
*AXIOMS
Subjects
Details
- Language :
- English
- ISSN :
- 00472468
- Volume :
- 114
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Journal of Geometry
- Publication Type :
- Academic Journal
- Accession number :
- 163798607
- Full Text :
- https://doi.org/10.1007/s00022-023-00671-9