Constructive axiomatization of plane hyperbolic geometry

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

We provide a universal axiom system for plane hyperbolic geometry in a first-order language with two sorts of individual variables, 'points' (upper-case) and 'lines' (lower-case), containing three individual constants, A0, A1, A2, standing for three non-collinear points, two binary operation symbols, φ and ι, with φ(A, B) = ι to be interpreted as 'ι is the line joining A and B' (provided that A ≠ B, an arbitrary line, otherwise), and ι(g, h) = P to be interpreted as 'P is the point of intersection of g and h (provided that g and h are distinct and have a point of intersection, an arbitrary point, otherwise), and two binary operation symbols, π1(P, ι) and π2(P, ι), with πi(P, ι) = g (for i = 1, 2) to be interpreted as 'g is one of the two limiting parallel lines from P to ι (provided that P is not on ι, an arbitrary line, otherwise).

Original languageEnglish (US)
Pages (from-to)475-488
Number of pages14
JournalMathematical Logic Quarterly
Volume47
Issue number4
DOIs
StatePublished - 2001

Fingerprint

Lobachevskian geometry
Axiomatization
Line
Binary operation
Arbitrary
Intersection
Axiom
Joining
Sort
Limiting
First-order
Distinct

Keywords

  • Constructive axiomatization
  • Hyperbolic geometry

ASJC Scopus subject areas

  • Logic

Cite this

Constructive axiomatization of plane hyperbolic geometry. / Pambuccian, Victor.

In: Mathematical Logic Quarterly, Vol. 47, No. 4, 2001, p. 475-488.

Research output: Contribution to journalArticle

@article{3ca21fe7d1824eff99ab20665458cb20,
title = "Constructive axiomatization of plane hyperbolic geometry",
abstract = "We provide a universal axiom system for plane hyperbolic geometry in a first-order language with two sorts of individual variables, 'points' (upper-case) and 'lines' (lower-case), containing three individual constants, A0, A1, A2, standing for three non-collinear points, two binary operation symbols, φ and ι, with φ(A, B) = ι to be interpreted as 'ι is the line joining A and B' (provided that A ≠ B, an arbitrary line, otherwise), and ι(g, h) = P to be interpreted as 'P is the point of intersection of g and h (provided that g and h are distinct and have a point of intersection, an arbitrary point, otherwise), and two binary operation symbols, π1(P, ι) and π2(P, ι), with πi(P, ι) = g (for i = 1, 2) to be interpreted as 'g is one of the two limiting parallel lines from P to ι (provided that P is not on ι, an arbitrary line, otherwise).",
keywords = "Constructive axiomatization, Hyperbolic geometry",
author = "Victor Pambuccian",
year = "2001",
doi = "10.1002/1521-3870(200111)47:4<475::AID-MALQ475>3.0.CO;2-S",
language = "English (US)",
volume = "47",
pages = "475--488",
journal = "Mathematical Logic Quarterly",
issn = "0942-5616",
publisher = "Wiley-VCH Verlag",
number = "4",

}

TY - JOUR

T1 - Constructive axiomatization of plane hyperbolic geometry

AU - Pambuccian, Victor

PY - 2001

Y1 - 2001

N2 - We provide a universal axiom system for plane hyperbolic geometry in a first-order language with two sorts of individual variables, 'points' (upper-case) and 'lines' (lower-case), containing three individual constants, A0, A1, A2, standing for three non-collinear points, two binary operation symbols, φ and ι, with φ(A, B) = ι to be interpreted as 'ι is the line joining A and B' (provided that A ≠ B, an arbitrary line, otherwise), and ι(g, h) = P to be interpreted as 'P is the point of intersection of g and h (provided that g and h are distinct and have a point of intersection, an arbitrary point, otherwise), and two binary operation symbols, π1(P, ι) and π2(P, ι), with πi(P, ι) = g (for i = 1, 2) to be interpreted as 'g is one of the two limiting parallel lines from P to ι (provided that P is not on ι, an arbitrary line, otherwise).

AB - We provide a universal axiom system for plane hyperbolic geometry in a first-order language with two sorts of individual variables, 'points' (upper-case) and 'lines' (lower-case), containing three individual constants, A0, A1, A2, standing for three non-collinear points, two binary operation symbols, φ and ι, with φ(A, B) = ι to be interpreted as 'ι is the line joining A and B' (provided that A ≠ B, an arbitrary line, otherwise), and ι(g, h) = P to be interpreted as 'P is the point of intersection of g and h (provided that g and h are distinct and have a point of intersection, an arbitrary point, otherwise), and two binary operation symbols, π1(P, ι) and π2(P, ι), with πi(P, ι) = g (for i = 1, 2) to be interpreted as 'g is one of the two limiting parallel lines from P to ι (provided that P is not on ι, an arbitrary line, otherwise).

KW - Constructive axiomatization

KW - Hyperbolic geometry

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

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

U2 - 10.1002/1521-3870(200111)47:4<475::AID-MALQ475>3.0.CO;2-S

DO - 10.1002/1521-3870(200111)47:4<475::AID-MALQ475>3.0.CO;2-S

M3 - Article

VL - 47

SP - 475

EP - 488

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

SN - 0942-5616

IS - 4

ER -