Homotopy Type Theory real numbers > history (Rev #13)

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 April 22, 2022 at 21:37:37 by Anonymous?. See the history of this page for a list of all contributions to it.