𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Axiomatization of volume in elementary geometry

✍ Scribed by O. M. Kosheleva

Publisher
SP MAIK Nauka/Interperiodica
Year
1980
Tongue
English
Weight
679 KB
Volume
21
Category
Article
ISSN
0037-4466

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,

The dimension theorem in axiomatic geome
The dimension theorem in axiomatic geometry
✍ Claude-Alain Faure; Alfred FrΓΆlicher πŸ“‚ Article πŸ“… 1996 πŸ› Springer 🌐 English βš– 659 KB

Given a matroid and an integer n \_> 0, eleven conditions are shown to be equivalent to the validity of the rank formula r(E V F) + r(E A F) = r(E) + r(F) for subspaces satisfying r(E A F) > n. For n = 0 one finds the projective geometries. The case n = 1 also includes the affine and the hyperbolic

Simplifying von Plato's axiomatization o
Simplifying von Plato's axiomatization of Constructive Apartness Geometry
✍ Dafa Li; Peifa Jia; Xinxin Li πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 123 KB

In the 1920s Heyting attempted at axiomatizing constructive geometry. Recently, von Plato used di erent concepts to axiomatize it. He used 14 axioms to formulate constructive apartness geometry, seven of which have occurrences of negation. In this paper we show with the help of ANDP, a theorem prove