Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

We show that both elementary n-dimensional hyperbolic geometry and Euclidean geometry (for all n ≥: 2) can be axiomatized in a one-sorted first-order language with spheres as individual variables and the binary predicate of sphere tangency as the only primitive notion.

Original languageEnglish (US)
Pages (from-to)943-947
Number of pages5
JournalForum Mathematicum
Volume15
Issue number6
StatePublished - 2003

Fingerprint

Euclidean geometry
Lobachevskian geometry
Geometry
Predicate
n-dimensional
Binary
First-order
Language

ASJC Scopus subject areas

  • Mathematics(all)
  • Applied Mathematics

Cite this

Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry. / Pambuccian, Victor.

In: Forum Mathematicum, Vol. 15, No. 6, 2003, p. 943-947.

Research output: Contribution to journalArticle

@article{46eeecf8bc0c4a55b885412f4309f37f,
title = "Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry",
abstract = "We show that both elementary n-dimensional hyperbolic geometry and Euclidean geometry (for all n ≥: 2) can be axiomatized in a one-sorted first-order language with spheres as individual variables and the binary predicate of sphere tangency as the only primitive notion.",
author = "Victor Pambuccian",
year = "2003",
language = "English (US)",
volume = "15",
pages = "943--947",
journal = "Forum Mathematicum",
issn = "0933-7741",
publisher = "Walter de Gruyter GmbH & Co. KG",
number = "6",

}

TY - JOUR

T1 - Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry

AU - Pambuccian, Victor

PY - 2003

Y1 - 2003

N2 - We show that both elementary n-dimensional hyperbolic geometry and Euclidean geometry (for all n ≥: 2) can be axiomatized in a one-sorted first-order language with spheres as individual variables and the binary predicate of sphere tangency as the only primitive notion.

AB - We show that both elementary n-dimensional hyperbolic geometry and Euclidean geometry (for all n ≥: 2) can be axiomatized in a one-sorted first-order language with spheres as individual variables and the binary predicate of sphere tangency as the only primitive notion.

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

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

M3 - Article

AN - SCOPUS:0242350392

VL - 15

SP - 943

EP - 947

JO - Forum Mathematicum

JF - Forum Mathematicum

SN - 0933-7741

IS - 6

ER -