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,
DOI10.4169/000298910X492781zbMATH Open1205.51010WikidataQ58259259 ScholiaQ58259259MaRDI QIDQ3060176FDOQ3060176
Authors: James T. Smith 
Publication date: 1 December 2010
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Recommendations
- 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.
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)
Cited In (10)
- Lines Without Order
- A methodologically pure proof of a convex geometry problem
- Formalization, primitive concepts, and purity
- The lattice of definability: origins, recent developments, and further directions
- Title not available (Why is that?)
- On Tarski's foundations of the geometry of solids
- Universal-existential axiom systems for geometries expressed with Pieri's isosceles triangle as single primitive notion
- Title not available (Why is that?)
- 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)
