Hostname: page-component-cd9895bd7-jkksz Total loading time: 0 Render date: 2024-12-25T19:51:10.599Z Has data issue: false hasContentIssue false
  • English
  • Français

Applications of Strict Π11 predicates to infinitary logic1

Published online by Cambridge University Press:  12 March 2014

Jon Barwise
Jon Barwise*
Affiliation:
Yale University
Get access Rights & Permissions [Opens in a new window]

Extract

Consider the predicate of natural numbers defined by:

where R is recursive. If, as usual, the variable ƒ ranges over ωω (the set of functions from natural numbers to natural numbers) then this is just the usual normal form for Π11 sets. If, however, ƒ ranges over 2ω (the set of functions from ω into {0, 1}) then every such predicate is recursively enumerable.3 Thus the second type of formula is generally ignored. However, the reduction just mentioned requires proof, and the proof uses some form of the Brower-König Infinity Lemma.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 34 , Issue 3 , 17 November 1969 , pp. 409 - 423
Copyright
Copyright © Association for Symbolic Logic 1969

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.)

References

[1]Barwise, J., Infinitary logic and admissible sets, this Journal, vol. 34 (1969), pp. 226–252.Google Scholar
[2]Barwise, J., Implicit definability and compactness in infinitary languages, The syntax and semantics of infinitary languages, Lecture notes in mathematics, no. 72, Springer-Verlag, 1968, pp. 1–35.CrossRefGoogle Scholar
[3]Barwise, J., Gandy, R. and Moschovakis, Y., The next admissible set (in preparation).Google Scholar
[4]Jensen, J. and Karp, C., Primitive recursive functions (to appear).Google Scholar
[5]Karp, C., Nonaxiomatizability results for infinitary systems, this Journal, vol. 32 (1967), pp. 367–384.Google Scholar
[6]Kreisel, G., Model theoretic invariants: Application to recursive and hyperarithmetic operations, The theory of models, North Holland, Amsterdam, 1965, pp. 190–205.Google Scholar
[7]Kreisel, G. and Krivine, J., Elements of mathematical logic, North Holland, Amsterdam, 1967.Google Scholar
[8]Kunen, K., Implicit definability and infinitary languages, this Journal, vol. 33 (1968), pp. 446–451.Google Scholar
[9]Scott, D., Logic with denumerably long formulas and finite strings of quantifiers, Theory of models, North Holland, Amsterdam, 1965, pp. 329–341.Google Scholar
[10]Shoenfild, J., Mathematical logic, Addison-Wesley, Reading, Mass., 1967.Google Scholar