✦ LIBER ✦

Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry

✍ Scribed by Victor Pambuccian

Publisher: John Wiley and Sons
Year: 2001
Tongue: English
Weight: 154 KB
Volume: 47
Category: Article
ISSN: 0044-3050
DOI: 10.1002/1521-3870(200101)47:1<129::aid-malq129>3.0.co;2-b

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,

Another Constructive Axiomatization of E

Another Constructive Axiomatization of Euclidean Planes

✍ Victor Pambuccian 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

The complexity of plane hyperbolic incid

The complexity of plane hyperbolic incidence geometry is ∀∃∀∃

✍ Victor Pambuccian 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 102 KB

We show that plane hyperbolic geometry, expressed in terms of points and the ternary relation of collinearity alone, cannot be expressed by means of axioms of complexity at most ∀∃∀, but that there is an axiom system, all of whose axioms are ∀∃∀∃ sentences. This remains true for Klingenberg's genera

Gauss and the Definition of the Plane Co

Gauss and the Definition of the Plane Concept in Euclidean Elementary Geometry

✍ Konstantina Zormbala 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Corrigendum to “The complexity of plane

Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”

✍ Victor Pambuccian 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 41 KB