Then he considers the case of algebraic numbers and obtains some results like the following: Every real algebraic number field of finite degree is non-inductive;

Many of the familiar algebraic rules for real number arithmetic do not always hold for floating-point arithmetic.