Another splitting of the Pasch axiom (Q545487): Difference between revisions

The author investigates ordered planar domains, which are axiomatized in terms of points and a ternary betweenness relation. In this setting, the inner and the outer form of the Pasch axiom are not equivalent. The author shows that the full Pasch axiom is equivalent to its inner form together with a statement on the intersection of segments involving five variables.