2 research outputs found
Conflicting accounts of 位-definability
漏 2016 A function on some domain is 位-definable if the corresponding function of 位-terms is so definable. However, the correspondence is parametrized by a representation of the domain. Often there is a natural choice of representation, but when the domain consists of 位-terms then they can be represented by either themselves or by the Church numeral of their G枚del number. This choice determines whether or not all computable functions are 位-definable