Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry

Victor Pambuccian

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

Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry

Victor Pambuccian

Research output: Contribution to journal › Article › peer-review

9 Scopus citations

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.

Original language	English (US)
Pages (from-to)	129-136
Number of pages	8
Journal	Mathematical Logic Quarterly
Volume	47
Issue number	1
DOIs	https://doi.org/10.1002/1521-3870(200101)47:1<129::AID-MALQ129>3.0.CO;2-B
State	Published - 2001

Keywords

Absolute geometry
Constructive axiomatization
Euclidean geometry
Hyperbolic geometry
Quantifier-free axiomatization

ASJC Scopus subject areas

Logic

Access to Document

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

Cite this

@article{e37c532cd4244231aa98e5ed75e56b70,

title = "Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry",

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.",

keywords = "Absolute geometry, Constructive axiomatization, Euclidean geometry, Hyperbolic geometry, Quantifier-free axiomatization",

author = "Victor Pambuccian",

year = "2001",

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

language = "English (US)",

volume = "47",

pages = "129--136",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "1",

}

TY - JOUR

T1 - Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry

AU - Pambuccian, Victor

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

KW - Absolute geometry

KW - Constructive axiomatization

KW - Euclidean geometry

KW - Hyperbolic geometry

KW - Quantifier-free axiomatization

UR - http://www.scopus.com/inward/record.url?scp=0035530934&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035530934&partnerID=8YFLogxK

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

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

M3 - Article

AN - SCOPUS:0035530934

SN - 0942-5616

VL - 47

SP - 129

EP - 136

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 1

ER -

Constructive axiomatizations of plane absolute, Euclidean and hyperbolic geometry

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this