Theories of real numbers and interpretability
From MaRDI portal
(Redirected from Publication:744846)
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
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)