نشر في Inge Bethke
بتاريخ 2008
والبحث باللغة
English
تحميل البحث
الملخص بالإنكليزية
A emph{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.