Elementary arithmetic (Q1772782): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 08:50, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Elementary arithmetic |
scientific article |
Statements
Elementary arithmetic (English)
0 references
21 April 2005
0 references
The paper under review is a contribution to the search for syntactically simple theories, without explicitely imposed bounds on quantifiers, whose provably recursive functions form ``more feasible'' complexity classes. A quite different, alternative treatment of Leivant's results is developed. The characterization is extended to the first level of exponential complexity in the hierarchy between Grzegorczyk's \(E^{2}\) and \(E^{3}\). The emphasis is on cut elimination in ``traditional'' theories based on unary numerals, so complexity in the end is measured in terms of the numerical input itself rather than its binary length.
0 references
syntactically simple theories
0 references
provably recursive functions
0 references
complexity classes
0 references
cut elimination
0 references