The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Search results

Query: faculty: "FNWI" and publication year: "2010"

AuthorsI. Bethke, P. Rodenburg
TitleThe initial meadows
JournalJournal of Symbolic Logic
Volume75
Year2010
Issue3
Pages888-895
ISSN00224812
FacultyFaculty of Science
Institute/dept.FNWI: Informatics Institute (II)
AbstractA 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 typeArticle
Download paper
Document finderUvA-Linker