Publications in Scientific Journals:
J. Alama:
"The simplest axiom system for plane hyperbolic geometry revisited, again";
Studia Logica,
102
(2014),
3;
609
- 615.
English 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 geometry.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s11225-013-9509-0
Electronic version of the publication:
http://link.springer.com/article/10.1007%2Fs11225-013-9509-0
Created from the Publication Database of the Vienna University of Technology.