Groups and plane geometry

DOI10.1007/S11225-005-4650-ZMaRDI QIDQ817696zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

Publication date 17 March 2006

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-005-4650-z

zbMATH Keywords

Erlanger Programmgroup actionsgroups generated by involutionsline reflectionsmetric planesmutually interpretable theories

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Absolute planes in metric geometry (51F05)

Review text

In the precisely written paper the author shows that the first-order theory of a large class of plane geometries and the first-order theory of their groups of motions, understood both as groups with a unary predicate singling out line-reflections and as groups acting on sets, are mutually interpretable. The paper was inspired by some talks with J. Diller and shows interesting connexions with papers of D. Lascar, R. S. Millman, K. Prazmowski, A. Prusinska and W. Szczerba.

Recommendations

• Geometry as an extension of the group theory
• Ordered groups and ordered geometries
• scientific article; zbMATH DE number 3977816
• The Thomsen-Bachmann correspondence in metric geometry. I
• The Thomsen-Bachmann correspondence in metric geometry. II

Cites work

• Axiomatizations of hyperbolic and absolute geometries
• Fragments of Euclidean and hyperbolic geometry
• scientific article; zbMATH DE number 4060211 (Why is no real title available?)
• scientific article; zbMATH DE number 517229 (Why is no real title available?)
• scientific article; zbMATH DE number 1932164 (Why is no real title available?)
• scientific article; zbMATH DE number 3994415 (Why is no real title available?)
• scientific article; zbMATH DE number 3300578 (Why is no real title available?)
• scientific article; zbMATH DE number 3401716 (Why is no real title available?)
• Kleinian Transformation Geometry

Cited in

(12)

• Axiomatizing geometric constructions
• scientific article; zbMATH DE number 3977816 (Why is no real title available?)
• Metric Geometries in an Axiomatic Perspective
• Geometry as an extension of the group theory
• An axiomatic foundation of Cayley-Klein geometries
• Point-free foundation of geometry looking at laboratory activities
• Groups, periodic planes and hyperbolic buildings
• Simpler foundations for the hyperbolic plane
• Ordered absolute geometry
• The Thomsen-Bachmann correspondence in metric geometry. I
• The Thomsen-Bachmann correspondence in metric geometry. II
• A comprehensive analysis of the axiomatic frameworks in which Fagnano's theorem holds

This page was built for publication: Groups and plane geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817696)