Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. Polynomial Time Computations in Models of ET

Polynomial Time Computations in Models of ET

File(s)
82-500.pdf (2.7 MB)
82-500.ps (590.14 KB)
Permanent Link(s)
https://hdl.handle.net/1813/6340
Collections
Computer Science Technical Reports
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-06
Publisher
Cornell University
Keywords
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

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance