On two questions about feasibly constructive arithmetic (Q4419272)
From MaRDI portal
scientific article; zbMATH DE number 1958275
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On two questions about feasibly constructive arithmetic |
scientific article; zbMATH DE number 1958275 |
Statements
On two questions about feasibly constructive arithmetic (English)
0 references
31 July 2003
0 references
first-order arithmetic
0 references
Kripke model
0 references
polynomial hierarchy
0 references
polynomial induction
0 references
NP-formula
0 references
negative translation
0 references
