Strengthened V0 Bounded Arithmetic Interfaces

Source: doi:10.1017/CBO9780511676277 Authors: ruplet Status: verified Main declarations: V0Model.ind_strengthened_v0, str_add_assoc_strengthened_v0 Tags: logic, bounded-arithmetic, model-theory, computational-complexity MSC: 03F30, 03D15