The strength of sharply bounded induction requires
Under an Elsevier user license
open archive
MSC
03F30
Keywords
Bounded arithmetic
Very weak arithmetic
Sharply bounded formulas
Unconditional independence results
Cited by (0)
Crown copyright © 2009 Published by Elsevier B.V. All rights reserved.