Orthogonality as single primitive notion for metric planes

Victor Pambuccian

Orthogonality as single primitive notion for metric planes

Victor Pambuccian

Humanities, Arts and Cultural Studies, School of (SHARCS)

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

12 Scopus citations

Abstract

We provide a first order axiomatization for Bachmann's metric planes in terms of points and the ternary relation ⊥ with ⊥ (abc) to be read as 'a, b, c are the vertices of a right triangle with right angle at a'. The axioms can be chosen to be ∀∃-statements.

Original language	English (US)
Pages (from-to)	399-409
Number of pages	11
Journal	Beitrage zur Algebra und Geometrie
Volume	48
Issue number	2
State	Published - Dec 1 2007

ASJC Scopus subject areas

Algebra and Number Theory
Geometry and Topology

Cite this

@article{448946679b76439abddf945b4e3a8a3a,

title = "Orthogonality as single primitive notion for metric planes",

abstract = "We provide a first order axiomatization for Bachmann's metric planes in terms of points and the ternary relation ⊥ with ⊥ (abc) to be read as 'a, b, c are the vertices of a right triangle with right angle at a'. The axioms can be chosen to be ∀∃-statements.",

author = "Victor Pambuccian",

year = "2007",

month = dec,

day = "1",

language = "English (US)",

volume = "48",

pages = "399--409",

journal = "Beitrage zur Algebra und Geometrie",

issn = "0138-4821",

publisher = "Springer Berlin",

number = "2",

}

TY - JOUR

T1 - Orthogonality as single primitive notion for metric planes

AU - Pambuccian, Victor

PY - 2007/12/1

Y1 - 2007/12/1

N2 - We provide a first order axiomatization for Bachmann's metric planes in terms of points and the ternary relation ⊥ with ⊥ (abc) to be read as 'a, b, c are the vertices of a right triangle with right angle at a'. The axioms can be chosen to be ∀∃-statements.

AB - We provide a first order axiomatization for Bachmann's metric planes in terms of points and the ternary relation ⊥ with ⊥ (abc) to be read as 'a, b, c are the vertices of a right triangle with right angle at a'. The axioms can be chosen to be ∀∃-statements.

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

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

M3 - Article

AN - SCOPUS:41549105062

SN - 0138-4821

VL - 48

SP - 399

EP - 409

JO - Beitrage zur Algebra und Geometrie

JF - Beitrage zur Algebra und Geometrie

IS - 2

ER -

Orthogonality as single primitive notion for metric planes

Abstract

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this