Logical Approaches to Computational Barriers

Elementary Algebraic Specifications of the Rational Function Field

Speaker:
| Jan A Bergstra |

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 |