Hostname: page-component-7c8c6479df-995ml Total loading time: 0 Render date: 2024-03-28T09:01:55.863Z Has data issue: false hasContentIssue false

Correction to ‘A model theoretic characterisation of effective operations’

Published online by Cambridge University Press:  12 March 2014

M. H. Löb*
Affiliation:
De Universiteit van Amsterdam, Amsterdam, The Netherlands

Extract

With the definition of effective operations as stated in the paper cited above (this Journal, vol. 35 (1970), p. 217), the last step of Lemma 1 does not appear to extend to types ≥ 3. This may be rectified by altering the second clause of the definition of effective operation (loc. cit. p. 217) to read:

ℱ is an effective operation of type i + 2 with Gödel number fEi+2, if for every gEi+1 there is an effective operation of type i + 1 (not depending on ℱ and f) with Gödel number g such that ℱ() = p(f, g).

With this definition the proofs go through without alteration.

There are two other variants for representing an effective operation by higher type objects.

I. We adopt the definition of effective as given in the text, and require the terms to satisfy the additional condition

II. Here we add to the definition of effective operations given in the text the condition:

If ℱ and ℱ1 are effective operations of type i + 2 and for all effective operations of type i + 1, then ℱ = ℱ1.

We now require terms s, tfi to satisfy the additional condition

The proof of Lemmas 1 and 2 are easily modified to establish I and II.

Perhaps II may be regarded as giving the most natural characterisation since in this case all terms represent continuous functionals.

Type
Correction
Copyright
Copyright © Association for Symbolic Logic 1974

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)