Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry

被引：0

作者：

Pambuccian, V ^{[1
]}

机构：

[1] Arizona State Univ W, Dept Integrat Studies, Phoenix, AZ 85069 USA

来源：

MATHEMATICAL LOGIC QUARTERLY | 2001年 / 47卷 / 01期

关键词：

absolute geometry; hyperbolic geometry; Euclidean geometry; constructive axiomatization; quantifier-free axiomatization;

D O I：

10.1002/1521-3870(200101)47:1<129::AID-MALQ129>3.0.CO;2-B

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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. Mathematics Subject Classification: 03F65, 51F05, 51M05, 51M10, 03B30.

引用

页码：129 / 135

页数：7

共 50 条

[21] Absolute profinite rigidity and hyperbolic geometry
Bridson, M. R.
McReynolds, D. B.
Reid, A. W.
Spitler, R.
ANNALS OF MATHEMATICS, 2020, 192 (03) : 679 - 719
[22] The absolute Anabelian Geometry of hyperbolic curves
Mochizuki, S
GALOIS THEORY AND MODULAR FORMS, 2004, 11 : 77 - 122
[23] Hyperbolic orbits in an absolute Euclidean space-time
Montanus, H
PHYSICS ESSAYS, 1998, 11 (04) : 563 - 568
[24] Axiomatizations of the Euclidean compromise solution
M. Voorneveld
A. van den Nouweland
R. McLean
International Journal of Game Theory, 2011, 40 : 427 - 448
[25] ALGEBRAISATION OF PLANE ABSOLUTE GEOMETRY
TSCHEN, YW
AMERICAN JOURNAL OF MATHEMATICS, 1945, 67 (03) : 363 - 388
[26] Examination of the plane in absolute geometry
Pogorelov, AV
DOKLADY AKADEMII NAUK, 1996, 348 (04) : 449 - 451
[27] Extensions of distance preserving mappings in euclidean and hyperbolic geometry
Benz W.
Journal of Geometry, 2004, 79 (1-2) : 19 - 26
[28] A common characterization of euclidean and hyperbolic geometry by functional equations
Benz, W
PUBLICATIONES MATHEMATICAE-DEBRECEN, 2003, 63 (03): : 495 - 510
[29] A HYPERBOLIC MODEL OF LAGUERRE PLANE GEOMETRY
DUBIKAJTIS, L
GUSCIORA, H
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1967, 15 (09): : 619 - +
[30] The complexity of plane hyperbolic incidence geometry is ∀∃∀∃
Pambuccian, V
MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (03) : 277 - 281

← 1 2 3 4 5 →