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

Showing changes from revision #15 to #16: Added | Removed | Changed

Definition

The There type are of many different types which are called real numbers in the literature. These include: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 June 10, 2022 at 04:06:42 by Anonymous?. See the history of this page for a list of all contributions to it.