Forms of the pasch axiom in ordered geometry

Victor Pambuccian

doi:10.1002/malq.200810032

Forms of the pasch axiom in ordered geometry

Victor Pambuccian

Research output: Contribution to journal › Article › peer-review

8 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 language	English (US)
Pages (from-to)	29-34
Number of pages	6
Journal	Mathematical Logic Quarterly
Volume	56
Issue number	1
DOIs	https://doi.org/10.1002/malq.200810032
State	Published - Jan 2010

Keywords

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

ASJC Scopus subject areas

Logic

Access to Document

10.1002/malq.200810032

Cite this

@article{54dcd1723c644013b2a8919da98e61da,

title = "Forms of the pasch axiom in ordered geometry",

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).",

keywords = "Independence, Inner and outer form of the Pasch axiom, Ordered geometry, Weak pasch axiom",

author = "Victor Pambuccian",

year = "2010",

month = jan,

doi = "10.1002/malq.200810032",

language = "English (US)",

volume = "56",

pages = "29--34",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "1",

}

TY - JOUR

T1 - Forms of the pasch axiom in ordered geometry

AU - Pambuccian, Victor

PY - 2010/1

Y1 - 2010/1

N2 - 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).

AB - 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).

KW - Independence

KW - Inner and outer form of the Pasch axiom

KW - Ordered geometry

KW - Weak pasch axiom

UR - http://www.scopus.com/inward/record.url?scp=77952320751&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77952320751&partnerID=8YFLogxK

U2 - 10.1002/malq.200810032

DO - 10.1002/malq.200810032

M3 - Article

AN - SCOPUS:77952320751

SN - 0942-5616

VL - 56

SP - 29

EP - 34

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 1

ER -

Forms of the pasch axiom in ordered geometry

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this