English

Generating geometry axioms from poset axioms

Combinatorics 2014-01-17 v1 Logic

Abstract

Two axioms of order geoemtry are the poset axioms of transitivity and antisymmetry of the relation "is in front of" when looking from a point. From these axioms, by looking from an interval instead of a point, further well-known axioms of order geometry are generated in the following sense: Transitivity when looking from an interval is equivalent to Assioma XIII of paragraph 10 in G. Peano, I principii di geometria logacimente exposti. Assuming this axiom, antisymmetry when looking from an interval is equivalent VIII. Grundsatz in paragraph 1 in M. Pasch, Vorlesungen ueber neuere Geometrie. Further equivalences, with some of the implications well-known, are proved along the way.

Keywords

Cite

@article{arxiv.1401.3821,
  title  = {Generating geometry axioms from poset axioms},
  author = {Wolfram Retter},
  journal= {arXiv preprint arXiv:1401.3821},
  year   = {2014}
}

Comments

11 pages, 3 figures

R2 v1 2026-06-22T02:46:47.465Z