Abstract
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.
Publisher
Cambridge University Press (CUP)
Reference10 articles.
1. Barwise J. , Gandy R. and Moschovakis Y. , The next admissible set (in preparation).
2. The Syntax and Semantics of Infinitary Languages
3. Infinitary logic and admissible sets;Barwise;this Journal,1969
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献