- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again
Studia Logica 102 (3):609-615 (2014)
Abstract
Dependencies are identified in two recently proposed first-order axiom systems for plane hyperbolic geometry. Since the dependencies do not specifically concern hyperbolic geometry, our results yield two simpler axiom systems for absolute geometryMy notes
Similar books and articles
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331 - 341.
Optical axiomatization of Minkowski space-time geometry.Brent Mundy - 1986 - Philosophy of Science 53 (1):1-30.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
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 future of post-human geometry: a preface to a new theory of infinity, symmetry, and dimensionality.Peter Baofu - 2009 - Newcastle upon Tyne: Cambridge Scholars Press.
In the shadows of the löwenheim-Skolem theorem: Early combinatorial analyses of mathematical proofs.Jan von Plato - 2007 - Bulletin of Symbolic Logic 13 (2):189-225.
Analytics
Added to PP
2013-10-11
Downloads
35 (#445,257)
6 months
12 (#200,125)
2013-10-11
Downloads
35 (#445,257)
6 months
12 (#200,125)
Historical graph of downloads
Citations of this work
Case for the Irreducibility of Geometry to Algebra†.Victor Pambuccian & Celia Schacht - 2022 - Philosophia Mathematica 30 (1):1-31.
References found in this work
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
Dimension in Elementary Euclidean Geometry.Dana Scott - 1969 - Journal of Symbolic Logic 34 (3):514-514.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-pp8v9 uwo