Archive for Mathematical Logic 38 (2):123-138 (1999)

Abstract
We investigate the problem how to lift the non - $\forall \Sigma^b_1(\alpha)$ - conservativity of $T^2_2(\alpha)$ over $S^2_2(\alpha)$ to the expected non - $\forall \Sigma^b_i(\alpha)$ - conservativity of $T^{i+1}_2(\alpha)$ over $S^{i+1}_2(\alpha)$ , for $i > 1$ . We give a non-trivial refinement of the “lifting method” developed in [4,8], and we prove a sufficient condition on a $\forall \Sigma^b_1(f)$ -consequence of $T_2(f)$ to yield the non-conservation result. Further we prove that Ramsey's theorem, a $\forall \Sigma^b_1(\alpha)$ - formula, is not provable in $T^1_2(\alpha)$ , and that $\forall \Sigma^b_j(\alpha)$ - conservativity of $T^{i+1}_2(\alpha)$ over $T^{i}_2(\alpha)$ implies $\forall \Sigma^b_j(\alpha)$ - conservativity of the whole $T_2(\alpha)$ over $T^{i}_2(\alpha)$ , for any $j \geq 2$
Keywords Legacy
Categories No categories specified
(categorize this paper)
DOI 10.1007/s001530050118
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,968
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

A Note on Propositional Proof Complexity of Some Ramsey-Type Statements.Jan Krajíček - 2011 - Archive for Mathematical Logic 50 (1-2):245-255.
Upper and Lower Ramsey Bounds in Bounded Arithmetic.Kerry Ojakian - 2005 - Annals of Pure and Applied Logic 135 (1-3):135-150.

View all 7 citations / Add more citations

Similar books and articles

Conservative Fragments of {{S}^{1} {2}} and {{R}^{1} {2}}.Chris Pollett - 2011 - Archive for Mathematical Logic 50 (3-4):367-393.
A Thirty-Five-Year Odyssey of an Alpha Omega Alpha Chapter Councilor.W. H. Frishman - 2013 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 76 (2):4 - 6.
Alpha Omega Alpha and Health Policy.E. D. Harris Jr - 2009 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 72 (4):1.
New Chapters for Alpha Omega Alpha.R. L. Byyny - 2013 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 76 (3):2 - 7.
Some New Natural $Alpha$-RE-Degrees.Colin G. Bailey - 1987 - Journal of Symbolic Logic 52 (1):227-231.
A Fatal Zest for Living. The All Too Brief Life of Mario Lanza.A. Cesari & P. A. Mackowiak - 2010 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 73 (1):4.

Analytics

Added to PP index
2013-11-23

Total views
84 ( #123,547 of 2,433,399 )

Recent downloads (6 months)
1 ( #468,801 of 2,433,399 )

How can I increase my downloads?

Downloads

My notes