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

first-order theory with equality for n-dimensional Euclidean geometryordered fieldsreal-closed fields

Mathematics Subject Classification ID

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

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)

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

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)