Existentially Closed Models and Conservation Results in Bounded Arithmetic | Publicación