Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Foundations: limits and generalizations, elementary topology of the line (26A03)
Let \(X\) be the set of sequences \((x_k)_{k\geq 0}\) with \(x_0\in{\mathbb Z}\) and \(x_k\in\{0,1\}\quad (k\geq 1)\). The author constructs the real numbers as equivalence classes in \(X\) and proves their basic properties.
- A model of the real number set
- A faithful computational model of the real numbers
- The real number model in numerical analysis
- Real number models under various sets of operations
- The reals in core models
- A natural construction for the real numbers
- scientific article; zbMATH DE number 1187328
- scientific article; zbMATH DE number 221408
- The abstract type of the real numbers
- scientific article; zbMATH DE number 4069224 (Why is no real title available?)
- scientific article; zbMATH DE number 5199394 (Why is no real title available?)
- scientific article; zbMATH DE number 3222151 (Why is no real title available?)
- scientific article; zbMATH DE number 3238721 (Why is no real title available?)
- scientific article; zbMATH DE number 3311908 (Why is no real title available?)
- Numbers for beginners. Elements of algebra and the structure of the number systems ranges
- Real numbers. The classic continuum and natural sequences
This page was built for publication: A concrete model of the real numbers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q974760)
