Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
Synthese 133 (3):331 - 341 (2002)
Hyperbolic geometry can be axiomatized using the notions of order andcongruence (as in Euclidean geometry) or using the notion of incidencealone (as in projective geometry). Although the incidence-based axiomatizationmay be considered simpler because it uses the single binary point-linerelation of incidence as a primitive notion, we show that it issyntactically more complex. The incidence-based formulation requires some axioms of the quantifier-type forallexistsforall, while the axiom system based on congruence and order can beformulated using only forallexists-axioms.
|Keywords||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
The Complexity of Plane Hyperbolic Incidence Geometry Is∀∃∀∃.Victor Pambuccian - 2005 - Mathematical Logic Quarterly 51 (3):277-281.
Correction to “Axiomatizations of Hyperbolic Geometry”.Victor Pambuccian - 2005 - Synthese 145 (3):497-497.
Similar books and articles
Two Approaches to Modelling the Universe: Synthetic Differential Geometry and Frame-Valued Sets.John L. Bell - unknown
Tarski's System of Geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
Kant's Philosophy of Geometry--On the Road to a Final Assessment.L. Kvasz - 2011 - Philosophia Mathematica 19 (2):139-166.
Optical Axiomatization of Minkowski Space-Time Geometry.Brent Mundy - 1986 - Philosophy of Science 53 (1):1-30.
Abstraction and Intuition in Peano's Axiomatizations of Geometry.Davide Rizza - 2009 - History and Philosophy of Logic 30 (4):349-368.
Formalization of Hilbert's Geometry of Incidence and Parallelism.Jan von Plato - 1997 - Synthese 110 (1):127-141.
Formalization of Hilbert's Geometry of Incidence and Parallelism.Jan Platvono - 1997 - Synthese 110 (1):127-141.
The Simplest Axiom System for Plane Hyperbolic Geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
Added to index2009-01-28
Total downloads26 ( #194,987 of 2,164,591 )
Recent downloads (6 months)4 ( #84,058 of 2,164,591 )
How can I increase my downloads?