Notes on polynomially bounded arithmetic (Q5687325)
From MaRDI portal
scientific article; zbMATH DE number 957328
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Notes on polynomially bounded arithmetic |
scientific article; zbMATH DE number 957328 |
Statements
Notes on polynomially bounded arithmetic (English)
0 references
15 June 1997
0 references
polynomial-time computability
0 references
bounded arithmetic
0 references
second-order arithmetic
0 references
models of arithmetic
0 references
polynomial-time hierarchy
0 references
fragments
0 references
conservativity
0 references
axiom of choice
0 references
