Mario Chiari

Witnessing Functions in Bounded Arithmetic and Search Problems

Jan Krajícek, Mario Chiari, 1998, J. Symb. Log..

Lifting independence results in bounded arithmetic

Jan Krajícek, Mario Chiari, 1999, Arch. Math. Log..