Another Splitting of the Pasch Axiom

作者：Pambuccian Victor^*

来源：Results in Mathematics, 2011, 59(3-4): 219-227.

DOI：10.1007/s00025-010-0086-5

• The Pasch axiom
• the inner form of the Pasch axiom
• ordered planar domains
• splitting an axiom

The Pasch axiom is shown to be equivalent, given the linear order axioms, to the conjunction of its inner form with a statement involving five individual variables.

• 出版日期2011-5