Ternary Operations as Primitive Notions for Constructive Plane Geometry VI

DOI10.1002/MALQ.19950410310MaRDI QIDQ4844513zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

Publication date 18 December 1995

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

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

zbMATH Keywords

Cartesian planeconstructive axiomatizationconstructive geometryordered Euclidean planeplane Euclidean geometry over Euclidean fieldssimplicity of axiom systems for plane geometry

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4146970
• scientific article; zbMATH DE number 885314
• Fragments of Euclidean and hyperbolic geometry
• Another Constructive Axiomatization of Euclidean Planes
• scientific article; zbMATH DE number 1112294
• The simplest axiom system for plane hyperbolic geometry
• On the Euclidean geometry of the double-edged ruler
• Axiomatizing geometric constructions
• The simplest axiom system for plane hyperbolic geometry revisited
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry

Cited in

(14)

• The simplest axiom system for plane hyperbolic geometry
• On the simplicity of ordered geometry
• On the constructive geometry of Euclidean planes
• Axiomatizing geometric constructions
• scientific article; zbMATH DE number 4146970 (Why is no real title available?)
• scientific article; zbMATH DE number 4030358 (Why is no real title available?)
• Ternary Operations as Primitive Notions for Constructive Plane Geometry
• scientific article; zbMATH DE number 530030 (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 V
• scientific article; zbMATH DE number 1112294 (Why is no real title available?)
• scientific article; zbMATH DE number 885314 (Why is no real title available?)
• The simplest axiom system for plane hyperbolic geometry revisited
• The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5

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

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