The polynomial and linear hierarchies in models where the weak pigeonhole principle fails (Q3503756)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The polynomial and linear hierarchies in models where the weak pigeonhole principle fails |
scientific article |
Statements
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails (English)
0 references
9 June 2008
0 references
bounded arithmetic
0 references
polynomial hierarchy
0 references
linear hierarchy
0 references
models of arithmetic
0 references
