|
|||||
|
|
A Note on Conservativity Relations among Bounded Arithmetic Theories |
|
| Authors: | Russell Impagliazzo,Jan Krají č ek |
| Abstract: | For all i ≥ 1, Ti+11(α) is not ∀Σb2(α)‐conservative over Ti1(α). |
| Keywords: | bounded arithmetic constant depth Frege systems |