Interpretations of Euclidean Geometry

DOI10.2307/2001533zbMath0715.03004OpenAlexW3145516926MaRDI QIDQ3201037

Stanislaw Świerczkowski

Publication date: 1990

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2001533

zbMATH Keywords

ordered fieldsreal-closed fieldsfirst-order theory with equality for n-dimensional Euclidean geometry

Mathematics Subject Classification ID

Connections between field theory and logic (12L99) Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05) Models of other mathematical theories (03C65) Ordered fields (12J15) Relative consistency and interpretations (03F25)