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

James T. Smith

Publication date: 1 December 2010

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

zbMATH Keywords

Tarskibetweennessdefinabilityequidistanceundefinabilityplane Euclidean geometryPieriaxiom systems for geometry

Mathematics Subject Classification ID

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)

On Tarski's Foundations of the Geometry of Solids ⋮ The lattice of definability: origins, recent developments, and further directions ⋮ FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY

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,