ListarPonencias (Ciencias de la Computación e Inteligencia Artificial) por materia "Conservation results"
Mostrando ítems 1-1 de 1
-
Ponencia
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.