Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Subject "Bounded arithmetic"
Now showing items 1-1 of 1
-
Presentation
On Rules and Parameter Free Systems in Bounded Arithmetic
(Springer, 2007)We present model–theoretic techniques to obtain conservation results for first order bounded arithmetic theories, based on a hierarchical version of the well known notion of an existentially closed model.