Cancellation Meadows: a Generic Basis Theorem and Some Applications

Jan A. Bergstra, Inge Bethke, Alban Ponse

Let Q_0 denote the rational numbers expanded to a "meadow", that is, after taking its zero-totalized form (0^{-1}=0) as the preferred interpretation. In this paper we consider "can…