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