The initial meadows
Inge Bethke, Piet H. Rodenburg · Journal of Symbolic Logic · 2010
Abstract Ameadowis a commutative ring with an inverse operator satisfying 0−1= 0. We determine the initial algebra of the meadows of characteristic 0 and prove a normal form theorem for it. As an immediate consequence we obtain the decidability of the closed term problem for meadows and the computability of their initial object.