Interpretations of Euclidean Geometry

DOI10.2307/2001533zbMATH Open0715.03004OpenAlexW3145516926MaRDI QIDQ3201037FDOQ3201037

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

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

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)

Cited In (3)

• Title not available (Why is that?)
• Geometric interpretation of the Euclidean algorithm and recognition of segments
• Title not available (Why is that?)

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)