Article contents
A model theoretic characterization of effective operations
Published online by Cambridge University Press: 12 March 2014
Extract
Let be a standard formalization of type theory. In [6] Kreisel introduced N-models for . These are general models in the sense of [1] in which the numerals have their standard denotations.
If ξ is a closed term of we shall denote the object denoted by ξ in the N-model M by ξM. In particular, ξ* is the object denoted by ξ in the standard model of .
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1970
References
A correction has been issued for this article:
- 2
- Cited by
Linked content
Please note a has been issued for this article.