Ternary Operations as Primitive Notions for Constructive Plane Geometry IV
From MaRDI portal
Publication:4304152
DOI10.1002/malq.19940400111zbMath0799.03072OpenAlexW2108569160MaRDI QIDQ4304152
Publication date: 24 November 1994
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19940400111
Geometric constructions in real or complex geometry (51M15) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05)
Related Items (5)
The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles hold in weak geometries ⋮ Acute triangulation of a triangle in a general setting revisited ⋮ Metric Geometries in an Axiomatic Perspective ⋮ On the constructive geometry of Euclidean planes ⋮ Axiomatizing geometric constructions
This page was built for publication: Ternary Operations as Primitive Notions for Constructive Plane Geometry IV