Computability in Europe 2006
Logical Approaches to Computational Barriers


Invited Plenary Talk:
Elementary Algebraic Specifications of the Rational Function Field


Speaker: Jan A Bergstra

Abstract

The elementary algebraic specifications form a small subset of the
range of techniques available for algebraic specifications and are
based on equational specifications with hidden functions and sorts and
initial algebra semantics. General methods  exist to show
that all semicomputable and computable algebras can be characterised up
to isomorphism by such specifications. Here we consider these
specification methods for specific computable rational number
arithmetics. In particular, we give an elementary equational
specification of the 0-totalised rational function field with its
degree operator as an auxiliary function. 


websites: Arnold Beckmann 2006-04-21