Ternary Operations as Primitive Notions for Constructive Plane Geometry
From MaRDI portal
Publication:3822157
DOI10.1002/MALQ.19890350608zbMath0669.03029OpenAlexW4229873171MaRDI QIDQ3822157
Publication date: 1989
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19890350608
Metric geometry (51F99) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05)
Related Items (3)
On the constructive geometry of Euclidean planes ⋮ Constructivity in Geometry ⋮ A common axiom set for classical and intuitionistic plane geometry
This page was built for publication: Ternary Operations as Primitive Notions for Constructive Plane Geometry