Polylogarithmic cuts in models of \(\mathbf{V}^{0}\) (Q4913779)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Polylogarithmic cuts in models of V^0 |
scientific article; zbMATH DE number 6152246
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Polylogarithmic cuts in models of \(\mathbf{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
0.7727683782577515
0 references
0.7497969269752502
0 references
0.7445908188819885
0 references
0.743227481842041
0 references
0.7402608394622803
0 references
