[FOM] Cut elimination in f.o. number theory

[Hilbert Levitz]

Many years ago I saw a very brief sketch of an argument to show that cut
elimination is not possible in the formulation of first order number theory
that Gentzen showed to be consistent.

I can't seem to bring that sketch to mind. Can anyone refer me to some place
where I can find the argument.


Sincerely,

Hilbert Levitz
Florida State University
levitz at cs.fsu.edu