scientific article; zbMATH DE number 1932164
From MaRDI portal
Publication:4709437
zbMath1036.03051MaRDI QIDQ4709437
Publication date: 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Absolute planes in metric geometry (51F05)
Related Items (9)
A constructive real projective plane ⋮ The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles hold in weak geometries ⋮ On a splitting of the parallel postulate ⋮ Negation-free and contradiction-free proof of the Steiner-Lehmus theorem ⋮ Metric Geometries in an Axiomatic Perspective ⋮ The Thomsen-Bachmann correspondence in metric geometry. II ⋮ Axiomatizing geometric constructions ⋮ Two statements characterizing the Euclidean metric of a metric plane ⋮ Groups and plane geometry
This page was built for publication:
