ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Induction principles"
Mostrando ítems 1-1 de 1
-
Artículo
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.