Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
type: Item
instance of: scholarly article
title: Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
zbMATH Open document ID: 1028.03014
DOI: 10.1023/A:1021294808742
author: Victor V. Pambuccian
published in: Synthese
publication date: 2003-04-27T00:00:00Z
review text: The author compares systems of axioms for the (plane) hyperbolic geometry, one, \(L(B,\equiv)\), that uses the notations of order ``\(B\)'' and congruence ``\(\equiv\)'' (given by a ternary betweenness and a quaternary congruence relation) and another one that uses the notion of incidence. For \(L(B,\equiv)\) collinearity is expressed through the betweenness relation. The author considers eleven axioms (T1--T11) for \(L(B,\equiv)\) using only \(\forall \exists\)-axioms. (T1--T10) resp. (T1--T9,T11) characterize the Euclidean resp. hyperbolic planes over Pythagorean resp. Euclidean fields. The incidence-based formulation requires some axioms of the quantifier-type \(\forall\exists\forall\). Here the author claims two axioms, (MS4) and (MS5), which allow him to introduce ``rays'' and ``rimpoints (ends)''. Then he claims that two rimpoints can be joined by a line (MS6), that Pascal's theorem for rimpoints (MS7), and that the axioms of Pappus (MS8) and Desargues (MS9) are satisfied.
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 51M10
zbMATH DE Number: 1901273
zbMATH Keywords: axiomatic systems
zbMATH Keywords: Pappus axiom
zbMATH Keywords: Desargues axiom
zbMATH Keywords: hyperbolic geometry
zbMATH Keywords: quantifier type complexity
zbMATH Keywords: betweenness
zbMATH Keywords: congruence
zbMATH Keywords: incidence
zbMATH Keywords: collinearity
zbMATH Keywords: Pascal's theorem
reviewed by: Helmut Karzel
MaRDI profile type: Publication
full work available at URL: a:1021294808742
OpenAlex ID: W188101875
description: scientific article; zbMATH DE number 1901273