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/000298910X492781MaRDI QIDQ3060176zbMATH OpenWikidataFDO

Authors James T. Smith

Publication date 1 December 2010

Published in The American Mathematical Monthly (Search for Journal in Brave)

zbMATH Keywords

definabilitybetweennessTarskiequidistanceundefinabilityplane Euclidean geometryPieriaxiom systems for geometry

Mathematics Subject Classification ID

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)

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.

Cited in

(10)

• 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)