Polylogarithmic Cuts in Models of V^0 (Q4913779)
From MaRDI portal
scientific article; zbMATH DE number 6152246
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polylogarithmic Cuts in Models of V^0 |
scientific article; zbMATH DE number 6152246 |
Statements
Polylogarithmic Cuts in Models of V^0 (English)
0 references
9 April 2013
0 references
bounded arithmetic
0 references
models of bounded arithmetic
0 references
cuts
0 references
two-sorted theories
0 references
proof complexity
0 references
simulations of proof systems
0 references
