Back to Search
Start Over
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.
- Source :
-
Mathematical Logic Quarterly . Jan2001, Vol. 47 Issue 1, p129-136. 8p. - Publication Year :
- 2001
-
Abstract
- In this paper we provide quantifier-free, constructive axiomatizations for 2-dimensional absolute, Euclidean, and hyperbolic geometry. The main novelty consists in the first-order languages in which the axiom systems are formulated. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 47
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 13585389
- Full Text :
- https://doi.org/10.1002/1521-3870(200101)47:1<129::AID-MALQ129>3.0.CO;2-B