A negative result on algebraic specifications of the meadow of rational numbers

Jan A. Bergstra, Inge Bethke

${\mathbb{Q}}_0$ - the involutive meadow of the rational numbers - is the field of the rational numbers where the multiplicative inverse operation is made total by imposing $0^{-1}=0…