| The initial meadows (2008) | |||||||||
Abstract | |||||||||
| A meadow is a commutative ring with an inverse operator satisfying 0(-1) = 0. We determine the initial algebra of the meadows of characteristic 0 and show that its word problem is decidable. | |||||||||
Details der Publikation | |||||||||
| |||||||||