Definitions and Nondefinability in GeometryThis paper was adapted from and expands on material in <strong>[23]</strong>. A shorter version was presented to the October 2008 congress, <em>Giuseppe Peano and His School between Mathematics,
definabilitybetweennessTarskiequidistanceundefinabilityplane Euclidean geometryPieriaxiom systems for geometry
History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Foundations of classical theories (including reverse mathematics) (03B30) History of geometry (51-03) Euclidean geometries (general) and generalizations (51M05) Interpolation, preservation, definability (03C40)
- Axiomatic geometry
- Sets of independent postulates for betweenness.
- Sets of metrical hypotheses for geometry.
- Plane geometry: a system of axioms based on distance
- Axiomatischer Aufbau der Geometrie in formalisierter Darstellung.
- scientific article; zbMATH DE number 7161714
- Über die euklidische Kongruenz- und Ähnlichkeitslehre.
- Grundlagen der Geometrie.
- Abstrakte Geometrie. Untersuchungen über die Grundlagen der euklidischen und nichteuklidischen Geometrie.
- Über nicht beweisbare und doch entbehrliche Axiome.
- Lines Without Order
- A methodologically pure proof of a convex geometry problem
- scientific article; zbMATH DE number 4190559 (Why is no real title available?)
- Formalization, primitive concepts, and purity
- On Tarski's foundations of the geometry of solids
- The lattice of definability: origins, recent developments, and further directions
- Universal-existential axiom systems for geometries expressed with Pieri's isosceles triangle as single primitive notion
- scientific article; zbMATH DE number 496225 (Why is no real title available?)
- The legacy of Mario Pieri in geometry and arithmetic
- Pieri's structures
This page was built for publication: Definitions and Nondefinability in GeometryThis paper was adapted from and expands on material in <strong>[23]</strong>. A shorter version was presented to the October 2008 congress, <em>Giuseppe Peano and His School between Mathematics,
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060176)