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

Showing changes from revision #0 to #1: 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

References

HoTT book