Axiomatizing geometric constructions

DOI10.1016/J.JAL.2007.02.001zbMATH Open1143.03007OpenAlexW2005296303MaRDI QIDQ2480964FDOQ2480964

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

Recommendations

• The axioms of constructive geometry
• Axiomatic geometry
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• Geometry and the axiomatic method
• Constructive axiomatization of plane hyperbolic geometry
• Constructibility and Geometry
• Publication:4488085
• Axiomatizations of hyperbolic and absolute geometries
• Constructive geometry

zbMATH Keywords

Euclidean geometryhyperbolic geometrygeometric constructionsabsolute geometrymetric planesquantifier-free axiomatizationsTreffgeradenebenen

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (25)

• Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
• Automated triangle constructions in hyperbolic geometry
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• Fragments of Euclidean and hyperbolic geometry
• Mohr-Mascheroni as an axiomatizability statement
• Quantifier elimination for elementary geometry and elementary affine geometry
• Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI
• Constructive axiomatization of plane hyperbolic geometry
• On the constructive geometry of Euclidean planes
• Abstraction and Intuition in Peano's Axiomatizations of Geometry
• Constructibility and Geometry
• Finitism in geometry
• Title not available (Why is that?)
• A constructive version of Tarski's geometry
• On automating triangle constructions in absolute and hyperbolic geometry
• Another Constructive Axiomatization of Euclidean Planes
• Alexandrov-Zeeman type theorems expressed in terms of definability
• Constructive geometrical reasoning and diagrams
• Towards Understanding Triangle Construction Problems
• Title not available (Why is that?)
• Quantifier-free axioms for constructive affine plane geometry
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI

Uses Software

• Pesca

This page was built for publication: Axiomatizing geometric constructions

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