Constructive axiomatization of plane hyperbolic geometry (Q2765570)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Constructive axiomatization of plane hyperbolic geometry |
scientific article; zbMATH DE number 1694865
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive axiomatization of plane hyperbolic geometry |
scientific article; zbMATH DE number 1694865 |
Statements
24 January 2002
0 references
constructive axiomatisation
0 references
plane hyperbolic geometry
0 references
Menger-Skala axioms
0 references
Constructive axiomatization of plane hyperbolic geometry (English)
0 references
A constructive axiomatisation of plane hyperbolic geometry is provided in a first-order language with two sorts of individual variables (meant to denote points and lines, respectively). The adequacy of the axiom system is shown by proving the Menger-Skala axioms within the new system.
0 references
