Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

JAPLL
2008

favoriteEmaildiscussreport

76views more JAPLL 2008»

Axiomatizing geometric constructions

13 years 4 months ago

Axiomatizing geometric constructions

Download www.public.asu.edu

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

Victor Pambuccian

Real-time Traffic

Certain Geometric Constructions | JAPLL 2008 | Relation Symbols | Survey Paper |

claim paper

Related Content

» Towards an Axiomatic System for Kolmogorov Complexity

» Recognition of Arrows in Line Drawings based on the Aggregation of Geometric Criteria usin...

» Complete Axiomatization of an Algebraic Construction of Graphs

» A constructive conditional logic for access control a preliminary report

» On Axiomatizing Probabilistic Conditional Independencies in Bayesian Networks

» Abstract Scalars Loops and Free Traced and Strongly Compact Closed Categories

» A Tour with Constructive Real Numbers

» Finite Equational Bases in Process Algebra Results and Open Questions

» Error propagation in geometric constructions

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2008
Where	JAPLL
Authors	Victor Pambuccian

Comments (0)