Existentially Closed Models and Conservation Results in Bounded Arithmetic

Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín. Existentially Closed Models and Conservation Results in Bounded Arithmetic. Journal of Logic and Computation, 19(1):123-143, 2009. [doi]

Abstract

Abstract is missing.