JavaScript is disabled for your browser. Some features of this site may not work without it.
Polynomial Time Computations in Models of ET

Author
Joseph, Deborah A.
Abstract
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.
Date Issued
1982-06Publisher
Cornell University
Subject
computer science; technical report
Previously Published As
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR82-500
Type
technical report