Showing changes from revision #2 to #3:
Added | Removed | Changed
Disambiguation page
There are many different types which are called real numbers in the literature. These include:
MacNeille real numbers? or Dedekind-MacNeille real numbers
Unit interval?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.