Ternary Operations as Primitive Notions for Constructive Plane Geometry

DOI10.1002/MALQ.19890350608zbMath0669.03029OpenAlexW4229873171MaRDI QIDQ3822157

Victor V. Pambuccian

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

zbMATH Keywords

constructive Euclidean geometry

Mathematics Subject Classification ID

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