Now showing items 1-1 of 1

    • Icon

      Some Results on LΔ n+1  [Article]

      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.