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