journal article
oaidoi:10.1016/j.jal.2007.02.001

Axiomatizing geometric constructions

Authors
Publication date
31 March 2008
Publisher
Elsevier B.V.
Doi

    Abstract

    AbstractIn 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

    Similar works

    Full text

    thumbnail-image

    Elsevier - Publisher Connector

    redirect
    oaidoi:10.1016/j.jal.2007.02.001
    Last time updated on 05/05/2017

    This paper was published in Elsevier - Publisher Connector .

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.