Mohr-Mascheroni as an axiomatizability statement

zbMATH Open0993.51006MaRDI QIDQ2770187

Victor V. Pambuccian

Publication date: 25 September 2002

Published in: Bulletin of the Polish Academy of Sciences, Mathematics (Search for Journal in Brave)

zbMATH Keywords

algorithmic logicplane Euclidean geometryArchimedean ordered Euclidean fieldsMohr-Mascheroni theoremquantifier-free axioms

Mathematics Subject Classification ID

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

Related Items (1)

Axiomatizing geometric constructions

This page was built for publication: Mohr-Mascheroni as an axiomatizability statement

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