This paper gives a proof that the Completeness Axiom of
Lobachevskian geometry -- as formulated in the second English translation
of David Hilbert's Foundations of Geometry (tenth German
edition)--is a theorem in the three dimensional Poincare model. An
explicit canonical isomorphism between all models of Lobachevskian
space is given.
This,...