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

Hilbert Levitz levitz at cs.fsu.edu
Wed Feb 15 15:31:01 EST 2006

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.


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

More information about the FOM mailing list