Ternary Operations as Primitive Notions for Constructive Plane Geometry V

DOI10.1002/MALQ.19940400404MaRDI QIDQ4315322zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

Publication date 8 December 1994

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

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

zbMATH Keywords

algorithmic logicconstructive axiomatizationconstructive geometrymetric-Euclidean planesrectangular planes

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05) Geometric constructions in real or complex geometry (51M15)

Recommendations

• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
• 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 PLANE GEOMETRY II
• Ternary Operations as Primitive Notions for Constructive Plane Geometry
• TERNARY GEOMETRICAL OPERATIONS IN EUCLIDEAN GEOMETRY
• An axiomatization of partial n-place operations
• A constructive version of Tarski's geometry
• Binary relations as single primitive notions for hyperbolic three-space and the inversive plane.

Cited in

(17)

• On M. T. Calapso's characterization of the metric of an absolute plane
• A representation theorem for translation-Hjelmslev-planes with reflections.
• A common axiom set for classical and intuitionistic plane geometry
• An axiom system for Lingenberg's metric-Euclidean planes
• On the constructive geometry of Euclidean planes
• Two statements characterizing the Euclidean metric of a metric plane
• Orthogonality as single primitive notion for metric planes
• Axiomatizing geometric constructions
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries
• TERNARY GEOMETRICAL OPERATIONS IN EUCLIDEAN GEOMETRY
• scientific article; zbMATH DE number 38193 (Why is no real title available?)
• Ternary operations as primitive notions for constructive plane geometry III
• Ternary Operations as Primitive Notions for Constructive Plane Geometry IV
• Metric Geometries in an Axiomatic Perspective
• The principle of duality in Euclidean and in absolute geometry
• The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
• On a paper by Nikolaos Kritikos

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

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