A Dedekind cut of an ordered abelian group G is a pair (X, Y) of nonempty subsets of G where Y=G−X and every member of X precedes every member of Y. A Dedekind cut (X, Y) is said to be continuous if X has a greatest member or Y has a least member, but not both; if every Dedekind cut of G is a continuous cut, G is said to be (Dedekind) continuous. The ordered abelian group R of real numbers is, ...