Real: Dedekind Cut Construction of the Real Line
- Lubs Definition of upper bounds, lubs and so on, to support completeness proofs.
- PReal The positive reals constructed using Dedekind cuts
- Rational The rational numbers constructed as equivalence classes of integers
- RComplete The reals are complete: they satisfy the supremum property. They also have the Archimedean property.
- RealDef The real numbers, their ordering properties, and embedding of the integers and the natural numbers
- RealPow Real numbers raised to natural number powers
Last modified on $Date: 2004/04/19 11:49:35 $
lcp@cl.cam.ac.uk