No CrossRef data available.
Article contents
Generalised weak presentations
Published online by Cambridge University Press: 12 March 2014
Abstract
Let K be a computable field. Let ℱ be a collection of recursive functions over K, possibly including field operations. We investigate the following question. Given an r.e. degree . is there an injective map j : K → ℕ such that j(K) is of degree a and all the functions in ℱ are translated by restrictions of total recursive functions.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2002