Another Constructive Axiomatization of Euclidean Planes

DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1521-3870(200001)46:1<45::AID-MALQ45>3.0.CO;2-E" /><45::AID-MALQ45>3.0.CO;2-E 10.1002/(SICI)1521-3870(200001)46:1<45::AID-MALQ45>3.0.CO;2-EzbMath0943.03052OpenAlexW1998369515MaRDI QIDQ4939400

Victor V. Pambuccian

Publication date: 5 September 2000

Full work available at URL: https://doi.org/10.1002/(sici)1521-3870(200001)46:1<45::aid-malq45>3.0.co;2-e

zbMATH Keywords

constructive geometryconstructive axiomatizationEuclidean planesTietze's theorem

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 (1)

Axiomatizing geometric constructions

This page was built for publication: Another Constructive Axiomatization of Euclidean Planes