Theories of real numbers and interpretability

DOI10.1515/9783110459197zbMATH Open1425.03002OpenAlexW2505190503MaRDI QIDQ744846FDOQ744846

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)

Cited In (5)

• A system of axioms for Minkowski spacetime
• On mathematical realism and applicability of hyperreals
• Quantifying over the reals
• On certain axiomatizations of arithmetic of natural and integer 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)