J A Bergstra, Y Hirschfeld, J V Tucker
A meadow is a commutative ring with an inverse operator satisfying two equations and in which 0 −1 = 0. All fields and products of fields can be viewed as meadows. After reviewing alternate axioms...
Fields, meadows and abstract data types (2008)
Bergstra, J., Hirschfeld, Y., Tucker, J.
Fields and division rings are not algebras in the sense of “Universal Algebra”, as inverse is not a total function. Mending the inverse by any definition of 0(-1) will not suffice to axiomatize...
J A Bergstra, Y Hirschfeld, J V Tucker
A meadow is a commutative ring with an inverse operator satisfying two equations and in which 0 −1 = 0. All fields and products of fields can be viewed as meadows. After reviewing alternate axioms...