Forms of the pasch axiom in ordered geometry

Research output: Contribution to journalArticlepeer-review

8 Scopus citations


We prove that, in the framework of ordered geometry, the inner form of the Pasch axiom (IP) does not imply its outer form (OP). We also show that OP can be properly split into IP and the weak Pasch axiom (WP).

Original languageEnglish (US)
Pages (from-to)29-34
Number of pages6
JournalMathematical Logic Quarterly
Issue number1
StatePublished - Jan 2010


  • Independence
  • Inner and outer form of the Pasch axiom
  • Ordered geometry
  • Weak pasch axiom

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Forms of the pasch axiom in ordered geometry'. Together they form a unique fingerprint.

Cite this