Axiomatizing geometric constructions

DOI10.1016/j.jal.2007.02.001zbMath1143.03007OpenAlexW2005296303MaRDI QIDQ2480964

Victor V. Pambuccian

Publication date: 7 April 2008

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2007.02.001

zbMATH Keywords

hyperbolic geometryEuclidean geometrygeometric constructionsabsolute geometrymetric planesquantifier-free axiomatizationsTreffgeradenebenen

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Metric geometry (51F99) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (9)

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries ⋮ Towards Understanding Triangle Construction Problems ⋮ Constructive geometrical reasoning and diagrams ⋮ Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI ⋮ Automated triangle constructions in hyperbolic geometry ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ Constructibility and Geometry ⋮ Quantifier elimination for elementary geometry and elementary affine geometry

Uses Software

• Pesca

Cites Work

• What can we do with only a pair of rusty compasses?
• New gauge constructions of perpendiculars without assuming the parallel axiom
• Eine Kennzeichnung der nicht Fanoschen Rechtseitebenen durch Inzidenz, Parallelität und Kongruenz
• Groups and plane geometry
• Die metrisch-euklidische Geometrie als Ausgangspunkt für die geordnet- euklidische Geometrie
• Die Modelle des Hilbertschen Axiomensystems der absoluten Geometrie
• Die Postulate und Konstruktionen in der frühgriechischen Geometrie
• Analoga der Steinerschen Konstruktion in einer absoluten Geometrie
• Eine Winkelmetrik zur Begründung euklidisch-metrischer Ebenen
• A constructive theory of ordered affine geometry
• A common axiom set for classical and intuitionistic plane geometry
• Using the prover ANDP to simplify orthogonality.
• A mathematical theory of origami constructions and numbers
• The simplest axiom system for plane hyperbolic geometry
• The axioms of constructive geometry
• Simplifying von Plato's axiomatization of constructive apartness geometry
• On the constructive geometry of Euclidean planes
• Eine Konstruierbarkeitsfrage für hyperbolische Ebenen
• Ein Beitrag zur Konstruierbarkeit geometrischer Aufgaben in der hyperbolischen Ebene
• Bemerkungen zu meiner Arbeit: 'Ein Beitrag zur Konstruierbarkeit geometrischer Aufgaben in der hyperbolischen Ebene'
• Introduction to model theory and to the metamathematics of algebra
• Duplicating the cube and other notes on constructions in the hyperbolic plane
• Die metrische Form in der absoluten und der elliptischen Geometrie
• Geometrien mit euklidischer Metrik, in denen es zu jeder Geraden durch einen nicht auf ihr liegenden Punkt mehrere Nichtschneidende gibt. I, II
• Eine Begründung der hyperbolischen Geometrie
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• Constructivity in Geometry
• Constructive Axiomatization of Plane Hyperbolic Geometry
• Folding Quartic Roots
• Constructions In Hyperbolic Geometry
• Constructive mathematics and computer programming
• EUCLIDEAN TWO DIMENSIONAL, EQUIDISTANCE THEORY
• An Instrument in Hyperbolic Geometry
• Konstruktion mit Hilfe eines Zirkels von beschränkter Öffnung in der hyperbolischen Geometrie.
• Properties Preserved under Definitional Equivalence and Interpretations
• Cut Elimination in the Presence of Axioms
• Tarski's System of 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
• Constructions Using a Compass and Twice-Notched Straightedge
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
• Euclidean Constructions and the Geometry of Origami
• Another Constructive Axiomatization of Euclidean Planes
• Konstruktionen allein mit dem Zirkel in der hyperbolischen Ebene.
• Axioms for Absolute Geometry
• Konstruktionen in der hyperbolischen Geometrie
• ORTHOGONALITÄTSRELATIONEN IN DER AFFINEN GEOMETRIE
• Algorithmic properties of structures
• Konstruktionen mit dem Parallellineal in der hyperbolischen Ebene.
• Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
• Geometrien mit euklidischer Metrik, in denen es zu jeder Geraden durch einen nicht auf ihr liegenden Punkt mehrere Nichtschneidende gibt. III
• The Fundamental Theorems of Elementary Geometry. An Axiomatic Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Axiomatizing geometric constructions