On the constructive geometry of Euclidean planes

DOI10.1007/BF02942547zbMath0959.03052OpenAlexW2047151526MaRDI QIDQ1969624

Victor V. Pambuccian

Publication date: 19 March 2000

Published in: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02942547

zbMATH Keywords

constructive geometryconstructive axiomatizationplane Euclidean geometry over quadratic extension fieldquantifier-free axiomatization

Mathematics Subject Classification ID

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

Related Items (2)

Axiomatizing geometric constructions ⋮ An axiomatic analysis of the Droz-Farny line theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Eine Winkelmetrik zur Begründung euklidisch-metrischer Ebenen
• Geometrien mit euklidischer Metrik, in denen es zu jeder Geraden durch einen nicht auf ihr liegenden Punkt mehrere nichtschneidende gibt. I, II
• Die Winkelmetrik in der affin-orthogonalen Ebene
• TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
• Ternary Operations as Primitive Notions for Constructive Plane 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
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
• ORTHOGONALITÄTSRELATIONEN IN DER AFFINEN GEOMETRIE
• Winkelmetrik in Affin‐Metrischen Ebenen

This page was built for publication: On the constructive geometry of Euclidean planes