Homotopy Type Theory real numbers > history (Rev #14, changes)

Showing changes from revision #13 to #14: Added | Removed | Changed

Definition

The type of real numbers \mathbb{R} is a locally (-1)-connected? Hausdorff sober? Archimedean ordered field with a compact? real unit interval? [0,1][0, 1].

Other types called ‘real numbers’

There are many other different types which are called real numbers in the literature, many of which are do not satisfy the same properties as listed above for the real numbers. These include:

References

Revision on May 10, 2022 at 02:33:09 by Anonymous?. See the history of this page for a list of all contributions to it.