The initial meadows

Open Access
Authors
Publication date 2008
Number of pages 11
Publisher Ithaca, NY: ArXiv
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
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.
Document type Report
Published at http://arxiv.org/abs/0806.2256v1
Downloads
293781.pdf (Final published version)
Permalink to this page
Back