Listar por autor 

Listar por autor "Adamowicz, Zofia"  

Mostrando ítems 1-1 de 1

    • 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. ...