Back to Search Start Over

Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.

Authors :
Pambuccian, Victor
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]

Subjects

Subjects :
*AXIOMS
*MATHEMATICS
*FOUNDATIONS of geometry
*HYPERBOLIC geometry
*FIRST-order logic
*MATHEMATICAL logic

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
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details