On the constructive geometry of Euclidean planes
From MaRDI portal
Publication:1969624
DOI10.1007/BF02942547zbMath0959.03052OpenAlexW2047151526MaRDI QIDQ1969624
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
constructive geometryconstructive axiomatizationplane Euclidean geometry over quadratic extension fieldquantifier-free axiomatization
Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05)
Related Items (2)
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