Abstract
We prove two conservation results involving a generalization of the principle of strict \({\Pi^1_1}\)-reflection, in the context of bounded arithmetic. In this context a separation between the concepts of bounded set and binary sequence seems to emerge as fundamental.
Similar content being viewed by others
References
Avigad J.: Formalizing forcing arguments in subsystems of second-order arithmetic. Ann. Pure Appl. Logic 82(2), 165–191 (1996)
Barwise J.: Admissible Sets and Structures. Springer-Verlag, Berlin-Heidelberg-New York (1975)
Cantini A.: Asymmetric interpretations for bounded theories. Math. Log. Q. 42, 270–288 (1996)
Fernandes A.M.: A new conservation result of WKL0 over RCA0. Arch. Math. Logic 41(1), 55–63 (2002)
Fernandes A.M., Ferreira F.: Basic applications of the weak könig’s lemma in feasible analysis. (to appear in Reverse Mathematics, Stephen G. Simpson (ed.). Lecture Notes in Logic) (2001)
Fernandes A.M., Ferreira F.: Groundwork for weak analysis. J. Symbolic Logic 67, 557–578 (2002)
Ferreira F.: A feasible theory for analysis. J. Symbolic Logic 59, 1001–1011 (1994)
Simpson S.G.: Subsystems of Second Order Arithmetic. Springer, Berlin (1999)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was partially supported by FCT, CMAF—Universidade de Lisboa, Financiamento Base 2008 ISFL/1/209.
The author is also thankful to an anonymous referee for his valuable remarks contributing for making the final version of the present paper more readable and by correcting an historical inaccuracy concerning the origins of the strict \({\Pi^1_1}\) -reflection principle.
Rights and permissions
About this article
Cite this article
Fernandes, A.M. Strict \({\Pi^1_1}\)-reflection in bounded arithmetic. Arch. Math. Logic 49, 17–34 (2010). https://doi.org/10.1007/s00153-009-0157-z
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-009-0157-z