2 papers
math.RA2009
Meadows and the equational specification of division
J. A. Bergstra, Y. Hirshfeld, J. V. Tucker
The rational, real and complex numbers with their standard operations, including division, are partial algebras specified by the axiomatic concept of a field. Since the class of fi…
math.RA2009
Skew Meadows
J. A. Bergstra, Y. Hirshfeld, J. V. Tucker
A skew meadow is a non-commutative ring with an inverse operator satisfying two special equations and in which the inverse of zero is zero. All skew fields and products of skew fie…