TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

DOI10.1002/MALQ.19920380132zbMath0739.03033OpenAlexW1972305071MaRDI QIDQ3363462

Victor V. Pambuccian

Publication date: 1992

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.19920380132

zbMATH Keywords

constructive Euclidean geometry

Mathematics Subject Classification ID

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 (2)

On the constructive geometry of Euclidean planes ⋮ Constructivity in Geometry

This page was built for publication: TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II