Forms of the pasch axiom in ordered geometry

Research output: Contribution to journalArticle

7 Scopus citations

Abstract

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
Volume56
Issue number1
DOIs
StatePublished - Jan 1 2010

Keywords

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

ASJC Scopus subject areas

  • Logic

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

  • Cite this