Re: Weird problem

"Keith Ramsay" <kramsay@xxxxxxx> writes:

> I was a little curious about the Shoenfield book, however,
> since the result is in an essay on predicativity. Does
> anybody happen to know what Shoenfield had to say about
> predicativity?

Not a great deal. He makes some general remarks about predicativity
and then states that "analytical sets whose definitions require only
two function quantifiers are constructible, and hence predicative in a
weak sense". The proof that he gives of his absoluteness lemma is (of
course!) concise, but far from self-contained.
.