Interpretations of Euclidean Geometry

DOI10.2307/2001533MaRDI QIDQ3201037zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 3857845
• scientific article; zbMATH DE number 3893181
• scientific article; zbMATH DE number 1112294
• A constructive version of Tarski's geometry
• Theories of real numbers and interpretability

Cited in

(3)

• scientific article; zbMATH DE number 3893181 (Why is no real title available?)
• scientific article; zbMATH DE number 1834582 (Why is no real title available?)
• Geometric interpretation of the Euclidean algorithm and recognition of segments

This page was built for publication: Interpretations of Euclidean Geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3201037)