Theories of real numbers and interpretability

DOI10.1515/9783110459197zbMATH Open1425.03002OpenAlexW2505190503MaRDI QIDQ744846FDOQ744846

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

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

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)

Cited In (9)

• A system of axioms for Minkowski spacetime
• On mathematical realism and applicability of hyperreals
• A class of connected theories of order
• Groundwork for weak analysis
• Interpretations of Euclidean Geometry
• Quantifying over the reals
• On certain axiomatizations of arithmetic of natural and integer numbers
• Completeness for systems including real numbers
• Title not available (Why is that?)

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)