Abstract
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.
Original language | English (US) |
---|---|
Pages (from-to) | 219-227 |
Number of pages | 9 |
Journal | Results in Mathematics |
Volume | 59 |
Issue number | 3-4 |
DOIs | |
State | Published - May 2011 |
Keywords
- The Pasch axiom
- ordered planar domains
- splitting an axiom
- the inner form of the Pasch axiom
ASJC Scopus subject areas
- Mathematics (miscellaneous)
- Applied Mathematics