Studia Logica 77 (3):385 - 411 (2004)
|Abstract||We provide a quantifier-free axiom system for plane hyperbolic geometry in a language containing only absolute geometrically meaningful ternary operations (in the sense that they have the same interpretation in Euclidean geometry as well). Each axiom contains at most 4 variables. It is known that there is no axiom system for plane hyperbolic consisting of only prenex 3-variable axioms. Changing one of the axioms, one obtains an axiom system for plane Euclidean geometry, expressed in the same language, all of whose axioms are also at most 4-variable universal sentences. We also provide an axiom system for plane hyperbolic geometry in Tarski's language L B which might be the simplest possible one in that language.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Louis Narens (1974). Measurement Without Archimedean Axioms. Philosophy of Science 41 (4):374-393.
Harvey Friedman (2000). Does Mathematics Need New Axioms? The Bulletin of Symbolic Logic 6 (4):401 - 446.
Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely, A Logic Road From Special to General Relativity.
Othman Qasim Malhas (1987). Quantum Logic and the Classical Propositional Calculus. Journal of Symbolic Logic 52 (3):834-841.
Patrick Suppes (2000). Quantifier-Free Axioms for Constructive Affine Plane Geometry. Synthese 125 (1-2):263-281.
Ian Pratt & Dominik Schoop (1998). A Complete Axiom System for Polygonal Mereotopology of the Real Plane. Journal of Philosophical Logic 27 (6):621-658.
Brent Mundy (1986). Optical Axiomatization of Minkowski Space-Time Geometry. Philosophy of Science 53 (1):1-30.
Alfred Tarski & Steven Givant (1999). Tarski's System of Geometry. Bulletin of Symbolic Logic 5 (2):175-214.
Added to index2009-01-28
Total downloads5 ( #169,995 of 722,917 )
Recent downloads (6 months)0
How can I increase my downloads?