The Thomsen-Bachmann correspondence in metric geometry. I

DOI10.1007/S00022-018-0465-8zbMATH Open1412.51002OpenAlexW4243845446MaRDI QIDQ669609FDOQ669609

Horst Struve, Rolf Struve

Publication date: 15 March 2019

Published in: Journal of Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00022-018-0465-8

Recommendations

• The Thomsen-Bachmann correspondence in metric geometry. II
• Groups and plane geometry
• Point-reflections in metric plane
• Metric Geometries in an Axiomatic Perspective
• Geometry as an extension of the group theory

zbMATH Keywords

symmetric spacereflection groupabsolute geometrycalculus of reflectionsbi-interpretabilityBachmann groupCayley-Klein geometriessentential equivalenceThomsen-Bachmann correspondence

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Absolute planes in metric geometry (51F05) Reflection groups, reflection geometries (51F15)

Cites Work

• Title not available (Why is that?)
• On the calculus of relations
• Title not available (Why is that?)
• Model theory.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Non-euclidean geometries: the Cayley-Klein approach
• Title not available (Why is that?)
• Properties Preserved under Definitional Equivalence and Interpretations
• Metric Geometries in an Axiomatic Perspective
• An axiomatic foundation of Cayley-Klein geometries
• The Road to Modern Logic—An Interpretation
• Title not available (Why is that?)
• Ein gruppentheoretischer Aufbau der äquiformen Geometrie
• On \(\mathsf{Q}\)
• Quine's conjecture on many-sorted logic
• Sophus Lie and Felix Klein: the Erlangen Program and its impact in mathematics and physics
• Glymour and Quine on theoretical equivalence
• Zur Begründung der Geometrie aus dem Spiegelungsbegriff
• Title not available (Why is that?)
• Title not available (Why is that?)
• Philosophy and Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiomatizations of hyperbolic and absolute geometries
• Title not available (Why is that?)

Cited In (6)

• Absolute isotropic geometry
• Cyclic order: a geometric analysis
• Geometry as an extension of the group theory
• Group theoretic characterization of metric geometries of arbitrary dimension
• Ordered absolute geometry
• Groups and plane geometry

This page was built for publication: The Thomsen-Bachmann correspondence in metric geometry. I

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