Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "First order arithmetic"
Now showing items 1-2 of 2
-
Article
A note on parameter free Π1-induction and restricted exponentiation
(Wiley, 2011)We characterize the sets of all Π2 and all $\mathcal {B}(\Sigma _{1})$equation image (= Boolean combinations of Σ1) theorems ...
-
Article
Local induction and provably total computable functions
(Elsevier, 2014)Let I¦− 2 denote the fragment of Peano Arithmetic obtained by restricting the induction scheme to parameter free ¦2 ...