The initial meadows
| Authors | |
|---|---|
| Publication date | 2010 |
| Journal | Journal of Symbolic Logic |
| Volume | Issue number | 75 | 3 |
| Pages (from-to) | 888-895 |
| Organisations |
|
| 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 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. |
| Document type | Article |
| Note | © Association for Symbolic Logic 2010 |
| Language | English |
| Published at | https://doi.org/10.2178/jsl/1278682205 |
| Downloads |
328633.pdf
(Final published version)
|
| Permalink to this page | |