Listar Artículos (Ciencias de la Computación e Inteligencia Artificial) por materia 

ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Conservation results"

Mostrando ítems 1-3 de 3

    • Artículo
      Icon

      Envelopes, indicators and conservativeness 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2006)
      A well known theorem proved (independently) by J. Paris and H. Friedman states that BΣn +1 (the fragment of Arithmetic ...
    • Artículo
      Icon

      Existentially Closed Models and Conservation Results in Bounded Arithmetic 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Oxford Academic, 2009)
      We develop model-theoretic techniques to obtain conservation results for first order Bounded Arithmetic theories, based ...
    • Artículo
      Icon

      Local induction and provably total computable functions 

      Cordón Franco, Andrés; Lara Martín, Francisco Félix (Elsevier, 2014)
      Let I¦− 2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free ¦2 ...