Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Induction"
Now showing items 1-1 of 1
In this paper we continue the study of the theories IΔ n+1 (T), initiated in . We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class ...