Why are surjective lineations of the Archimedean hyperbolic plane motions?

zbMath1027.51021MaRDI QIDQ1416141

Victor V. Pambuccian

Publication date: 14 December 2003

Published in: Acta Mathematica Hungarica (Search for Journal in Brave)

zbMATH Keywords

hyperbolic geometrydefinability\(\lambda_{{\omega_1}\omega}\)-logic

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items (4)

Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry ⋮ Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ Mappings preserving the area equality of hyperbolic triangles are motions

This page was built for publication: Why are surjective lineations of the Archimedean hyperbolic plane motions?