1. Axiomatizing geometric constructions
- Author
-
Victor Pambuccian
- Subjects
Metric planes ,Discrete mathematics ,Quantifier-free axiomatizations ,Logic ,Euclidean space ,Applied Mathematics ,Hyperbolic space ,Geometric constructions ,Treffgeradenebenen ,Euclidean geometry ,Metric-Euclidean planes ,Euclidean distance ,Non-Euclidean geometry ,Point–line–plane postulate ,Absolute geometry ,Hyperbolic geometry ,Euclidean domain ,Foundations of geometry ,Rectangular planes ,Hyperbolic triangle ,Mathematics - Abstract
In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to geometric constructibility theorems. Several fragments of Euclidean and hyperbolic geometries turn out to be naturally occurring only when we ask for the universal theory of the standard plane (Euclidean or hyperbolic), that can be expressed in a certain language containing only operation symbols standing for certain geometric constructions.
- Published
- 2008
- Full Text
- View/download PDF