Zeitschriftenartikel:
J. Alama:
"The simplest axiom system for plane hyperbolic geometry revisited, again";
Studia Logica,
102
(2014),
3;
S. 609
- 615.
Kurzfassung englisch:
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 geometry.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s11225-013-9509-0
Elektronische Version der Publikation:
http://link.springer.com/article/10.1007%2Fs11225-013-9509-0
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.