Ternary Operations as Primitive Notions for Constructive Plane Geometry VI

DOI10.1002/malq.19950410310zbMath0828.03032OpenAlexW4231630747MaRDI QIDQ4844513

Victor V. Pambuccian

Publication date: 18 December 1995

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19950410310

zbMATH Keywords

constructive geometryCartesian planeconstructive axiomatizationplane Euclidean geometry over Euclidean fieldsordered Euclidean planesimplicity of axiom systems for plane geometry

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05) Reflection groups, reflection geometries (51F15)

Related Items (3)

On the simplicity of ordered geometry ⋮ 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 VI