[FOM] reducing higher to second order?

[Roger Bishop Jones]

In connection with the reducibility of higher order logics
to second order logic

On Sunday 04 January 2004  3:49 pm, Marcus Rossberg wrote:

> It might be useful to emphasis the following limitations:
> (1) This result only applies to validities (as stated above by
> Professor Enderton), not to the consequence relation in
> general. (2) The proof relies on the domain being set-sized.

Is it also true to say that despite this reducibility
w-order logic is not interpretable in 2nd order logic
in the sense required when considering consistency
strength, and that the consistency of 2nd order logic
should be provable in w-order logic?

Roger Jones

- rbj01 at rbjones.com
   plain text email please
   mail with executable attachments will be discarded