From completeness to Archimedean completeness. An essay in the foundations of Euclidean geometry

DOI10.1023/A:1004971123925zbMath0952.51001OpenAlexW163290807MaRDI QIDQ1293012

Philip Ehrlich

Publication date: 14 December 1999

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004971123925

zbMATH Keywords

Euclidean geometryArchimedean completeness

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05) Ordered fields (12J15) History of geometry (51-03)

Related Items

CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY, Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach, The axiomatics of ordered geometry: I. Ordered incidence spaces, Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic, The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes