Universal-existential axiom systems for geometries expressed with Pieri's isosceles triangle as single primitive notion

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

We prove that, building upon the universal-existential orthogonality-based axiom system for metric planes presented in [28], one can provide universal-existential axiom systems - expressed solely in terms of the ternary predicate I, with I(abc) standing for 'ab is congruent to ac', which Pieri has introduced 100 years ago - for metric planes, for absolute geometry with the circle axiom, for Euclidean planes, for Euclidean geometry with the circle axiom, for Klingenberg's generalized hyperbolic planes, for plane elementary hyperbolic geometry, as well as for all the finite-dimensional versions of these geometries.

Original languageEnglish (US)
Pages (from-to)327-339
Number of pages13
JournalRendiconti del Seminario Matematico
Volume67
Issue number3
StatePublished - 2009

Fingerprint

Isosceles triangle
Axiom
Circle
Euclidean geometry
Lobachevskian geometry
Metric
Hyperbolic Plane
Euclidean plane
Congruent
Orthogonality
Ternary
Predicate

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

@article{f8ab8606996d4b359e20e2b46dc9ecfa,
title = "Universal-existential axiom systems for geometries expressed with Pieri's isosceles triangle as single primitive notion",
abstract = "We prove that, building upon the universal-existential orthogonality-based axiom system for metric planes presented in [28], one can provide universal-existential axiom systems - expressed solely in terms of the ternary predicate I, with I(abc) standing for 'ab is congruent to ac', which Pieri has introduced 100 years ago - for metric planes, for absolute geometry with the circle axiom, for Euclidean planes, for Euclidean geometry with the circle axiom, for Klingenberg's generalized hyperbolic planes, for plane elementary hyperbolic geometry, as well as for all the finite-dimensional versions of these geometries.",
author = "Victor Pambuccian",
year = "2009",
language = "English (US)",
volume = "67",
pages = "327--339",
journal = "Rendiconti del Seminario Matematico",
issn = "0373-1243",
publisher = "Rendiconti del Seminario Matematico",
number = "3",

}

TY - JOUR

T1 - Universal-existential axiom systems for geometries expressed with Pieri's isosceles triangle as single primitive notion

AU - Pambuccian, Victor

PY - 2009

Y1 - 2009

N2 - We prove that, building upon the universal-existential orthogonality-based axiom system for metric planes presented in [28], one can provide universal-existential axiom systems - expressed solely in terms of the ternary predicate I, with I(abc) standing for 'ab is congruent to ac', which Pieri has introduced 100 years ago - for metric planes, for absolute geometry with the circle axiom, for Euclidean planes, for Euclidean geometry with the circle axiom, for Klingenberg's generalized hyperbolic planes, for plane elementary hyperbolic geometry, as well as for all the finite-dimensional versions of these geometries.

AB - We prove that, building upon the universal-existential orthogonality-based axiom system for metric planes presented in [28], one can provide universal-existential axiom systems - expressed solely in terms of the ternary predicate I, with I(abc) standing for 'ab is congruent to ac', which Pieri has introduced 100 years ago - for metric planes, for absolute geometry with the circle axiom, for Euclidean planes, for Euclidean geometry with the circle axiom, for Klingenberg's generalized hyperbolic planes, for plane elementary hyperbolic geometry, as well as for all the finite-dimensional versions of these geometries.

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

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

M3 - Article

AN - SCOPUS:76249124358

VL - 67

SP - 327

EP - 339

JO - Rendiconti del Seminario Matematico

JF - Rendiconti del Seminario Matematico

SN - 0373-1243

IS - 3

ER -