Polynomial Time Computations in Models of ET
Joseph, Deborah A.
We investigate formal notions of computations in nonstandard models of the weak arithmetic theory ET - the theory of exponential time. It is shown that ET is a sufficiently weak theory that many of the natural notions are not preserved.
computer science; technical report
Previously Published As