The initial meadows
arXiv:0806.2256
Abstract
A \emph{meadow} is a commutative ring with an inverse operator satisfying . We determine the initial algebra of the meadows of characteristic 0 and show that its word problem is decidable.
11 pages
arXiv:0806.2256
A \emph{meadow} is a commutative ring with an inverse operator satisfying . We determine the initial algebra of the meadows of characteristic 0 and show that its word problem is decidable.
11 pages