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]]