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 "Fragments of Peano arithmetic"

Mostrando ítems 1-3 de 3

    • Artículo
      Icon

      Existentially Closed Models in the Framework of Arithmetic 

      Adamowicz, Zofia; Cordón Franco, Andrés; Lara Martín, Francisco Félix (The Association for Symbolic Logic, 2016)
      We prove that the standard cut is definable in each existentially closed model of IΔ0 + exp by a (parameter free) П1–formula. ...
    • Artículo
      Icon

      On axiom schemes for T-provably Δ1 formulas 

      Cordón Franco, Andrés; Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Springer, 2014)
      This paper investigates the status of the fragments of Peano Arithmetic obtained by restricting induction, collection and ...
    • Artículo
      Icon

      Some Results on LΔ n+1 

      Fernández Margarit, Alejandro; Lara Martín, Francisco Félix (Wiley, 2001)
      We study the quantifier complexity and the relative strength of some fragments of arithmetic axiomatized by induction and minimization schemes for Δn+1 formulas.