Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
Synthese 133 (3):331 - 341 (2002)
| Abstract | 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLudomir Newelski (1999). Geometry of *-Finite Types. Journal of Symbolic Logic 64 (4):1375-1395.
Alfred Tarski & Steven Givant (1999). Tarski's System of Geometry. Bulletin of Symbolic Logic 5 (2):175-214.
L. Kvasz (2011). Kant's Philosophy of Geometry--On the Road to a Final Assessment. Philosophia Mathematica 19 (2):139-166.
Brent Mundy (1986). Optical Axiomatization of Minkowski Space-Time Geometry. Philosophy of Science 53 (1):1-30.
Davide Rizza (2009). Abstraction and Intuition in Peano's Axiomatizations of Geometry. History and Philosophy of Logic 30 (4):349-368.
Jan von Plato (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
Jan Platvono (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
Victor Pambuccian (2005). Correction to “Axiomatizations of Hyperbolic Geometry”. Synthese 145 (3):497 -.
Victor Pambuccian (2004). The Simplest Axiom System for Plane Hyperbolic Geometry. Studia Logica 77 (3):385 - 411.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,837 of 549,070 )Recent downloads (6 months)1 ( #63,185 of 549,070 )How can I increase my downloads? |
My notes
Discussion
