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/000298910X492781zbMath1205.51010WikidataQ58259259 ScholiaQ58259259MaRDI QIDQ3060176
Publication date: 1 December 2010
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Tarskibetweennessdefinabilityequidistanceundefinabilityplane Euclidean geometryPieriaxiom systems for geometry
History of mathematics in the 20th century (01A60) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Euclidean geometries (general) and generalizations (51M05) Interpolation, preservation, definability (03C40) History of geometry (51-03)
Related Items (3)
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,