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

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

References

HoTT book