Ternary Operations as Primitive Notions for Constructive Plane Geometry

DOI10.1002/MALQ.19890350608MaRDI QIDQ3822157zbMATH OpenOpenAlexFDO

Authors 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

Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Metric geometry (51F99) Euclidean geometries (general) and generalizations (51M05)

Recommendations

• TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
• Ternary Operations as Primitive Notions for Constructive Plane Geometry IV
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
• Ternary operations as primitive notions for constructive plane geometry III
• TERNARY GEOMETRICAL OPERATIONS IN EUCLIDEAN GEOMETRY

Cited in

(8)

• A common axiom set for classical and intuitionistic plane geometry
• On the constructive geometry of Euclidean planes
• Constructivity in Geometry
• TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
• TERNARY GEOMETRICAL OPERATIONS IN EUCLIDEAN GEOMETRY
• Ternary operations as primitive notions for constructive plane geometry III
• Ternary Operations as Primitive Notions for Constructive Plane Geometry IV
• Ternary Operations as Primitive Notions for Constructive Plane Geometry V

This page was built for publication: Ternary Operations as Primitive Notions for Constructive Plane Geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3822157)