Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Least number principle"
Now showing items 1-1 of 1
-
Article
Some Results on LΔ n+1
(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.