Theories of real numbers and interpretability

DOI10.1515/9783110459197MaRDI QIDQ744846zbMATH OpenOpenAlexFDO

Authors Daniel Alscher

Publication date 12 October 2015

Published in Logos (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/9783110459197

zbMATH Keywords

geometryinterpretabilityPeano arithmeticarithmeticreal-closed fields

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Interpolation, preservation, definability (03C40) Models of arithmetic and set theory (03C62)

Recommendations

• A class of connected theories of order
• Order with successors is not interprétable in RCF
• Generalizing theorems in real closed fields
• Groundwork for weak analysis
• Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis

Cited in

(9)

• On certain axiomatizations of arithmetic of natural and integer numbers
• On mathematical realism and applicability of hyperreals
• A system of axioms for Minkowski spacetime
• Completeness for systems including real numbers
• A class of connected theories of order
• Groundwork for weak analysis
• Interpretations of Euclidean Geometry
• scientific article; zbMATH DE number 221408 (Why is no real title available?)
• Quantifying over the reals

This page was built for publication: Theories of real numbers and interpretability

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