Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Conservation results"
Now showing items 1-3 of 3
-
Article
Envelopes, indicators and conservativeness
(Wiley, 2006)A well known theorem proved (independently) by J. Paris and H. Friedman states that BΣn +1 (the fragment of Arithmetic ...
-
Article
Existentially Closed Models and Conservation Results in Bounded Arithmetic
(Oxford Academic, 2009)We develop model-theoretic techniques to obtain conservation results for first order Bounded Arithmetic theories, based ...
-
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 ...