A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/2205.05162v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Simplifying the axiomatization for the order affine geometry
[article]
<span title="2022-04-24">2022</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
Based on an ordering with directed lines and using constructions instead of existential axioms, von Plato proposed a constructive axiomatization of ordered affine geometry. There are 22 axioms for the ordered affine geometry, of which the axiom I.7 is about the convergence of three lines (ignoring their directions). In this paper, we indicate that the axiom I.7 includes much redundancy, and demonstrate that the complicated axiom I.7 can be replaced with a simpler and more intuitive new axiom
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.05162v1">arXiv:2205.05162v1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/buqt2ocsnncvpg6od56ffyfcby">fatcat:buqt2ocsnncvpg6od56ffyfcby</a>
</span>
more »
... lled ODO) which describes the properties of oppositely and equally directed lines. We also investigate a possibility to replace the axiom I.6 with ODO.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220516011808/https://arxiv.org/pdf/2205.05162v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/4b/f6/4bf672a5302889549691637a700da9ac020ffb60.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2205.05162v1" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>