Theories of real numbers and interpretability

DOI10.1515/9783110459197zbMath1425.03002OpenAlexW2505190503MaRDI QIDQ744846

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

geometryarithmeticPeano arithmeticinterpretabilityreal-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) Models of arithmetic and set theory (03C62) Interpolation, preservation, definability (03C40)

Related Items (2)

A system of axioms for Minkowski spacetime ⋮ On certain axiomatizations of arithmetic of natural and integer numbers

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