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

Disambiguation page

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

• Cauchy real numbers (disambiguation)

• Dedekind real numbers

• Eudoxus real numbers

• MacNeille real numbers? or Dedekind-MacNeille real numbers

• real 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