𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Correction to “Axiomatizations of Hyperbolic Geometry”

✍ Scribed by Victor Pambuccian

Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
25 KB
Volume
145
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive Axiomatization of Plane Hyp
Constructive Axiomatization of Plane Hyperbolic Geometry
✍ Victor Pambuccian 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 202 KB

We provide a universal axiom system for plane hyperbolic geometry in a firstorder language with two sorts of individual variables, 'points' (upper-case) and 'lines' (lowercase), containing three individual constants, A0, A1, A2, standing for three non-collinear points, two binary operation symbols,

Correction to ‘d-partition geometries’
Correction to ‘d-partition geometries’
✍ Lynn Margaret Batten 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 72 KB

In this note, we correct a result given in [1]. There we claim-PP8-that if 33 is a d-partition geometry then any pair of (d + 1)-related flats with nonempty intersection actually have intersection a d-flat. This is easily seen to be incorrect by considering the following example: 33 is a 3-flat with