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

Showing changes from revision #1 to #2: Added | Removed | Changed

Disambiguation page

There are many different types which are called real numbers in the literature. These include:

  • Cauchy real numbers

  • Dedekind real numbers

  • Euclidean real numbers? or Escardo-Simpson real numbers

  • Eudoxus real numbers

  • MacNeille real numbers? or Dedekind-MacNeille real numbers

  • Unit interval? based real numbers

    • Euclidean real numbers? or Escardo-Simpson real numbers

    • The various types of real numbers defined by Peter Freyd using various definitions of the co-algebraic unit interval.

References

HoTT book

Revision on February 26, 2022 at 21:06:30 by Anonymous?. See the history of this page for a list of all contributions to it.