The Consistency Strength of Projective Absoluteness

Abstract It is proved that in the absence of proper class inner models with Woodin cardinals, for each n ϵ {1,…, ω }, ∑ 3 + n 1 absoluteness (i.e., the stability of the ∑ 3 + n 1 theory of the reals under set forcing in a strong sense) implies there are n strong cardinals in K (where this denotes a suitably defined global version of the core model for one Woodin cardinal as exposed by Steel. Combined with a forcing argument of Woodin, this establishes that the consistency strength of ∑ 3 + n 1 absoluteness is exactly that of n strong cardinals so that in particular projective absoluteness is equiconsistent with the existence of infinitely many strong cardinals. It is also argued how this theorem is to be construed as the first step in the long range program of showing that projective determinacy is equivalent to its analytical consequences for the projective sets which would settle positively a conjecture of Woodin and thereby solve the last Delfino problem.

[1]  William J. Mitchell.  The core model for sequences of measures. I , 1984 .

[2]  Tony Dodd,et al.  The covering lemma for K , 1982, Ann. Math. Log..

[3]  Stewart Baldwin,et al.  Between strong and superstrong , 1986, Journal of Symbolic Logic.

[4]  R. Solovay,et al.  On the Relative Consistency Strength of Determinacy Hypothesis , 1985 .

[5]  Peter Koepke.  An Introduction to Extenders and Core Models for Extender Sequences , 1989 .

[6]  John R. Steel,et al.  The extent of scales in L(R) , 1983 .

[7]  P. J. Cohen,et al.  THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS. , 1963, Proceedings of the National Academy of Sciences of the United States of America.

[8]  W H Woodin,et al.  Equivalence of partition properties and determinacy. , 1983, Proceedings of the National Academy of Sciences of the United States of America.

[9]  Jan Mycielski,et al.  On the Lebesgue measurability and the axiom of determinateness , 1964 .

[10]  R. Jensen,et al.  The fine structure of the constructible hierarchy , 1972 .

[11]  John R. Steel.  Inner Models with Many Woodin Cardinals , 1993, Ann. Pure Appl. Logic.

[12]  Alexander S. Kechris,et al.  Subsets of ℵ1 constructible from a real , 2020, Large Cardinals, Determinacy and Other Topics.

[13]  J. Mycielski.  On the axiom of determinateness , 1964 .

[14]  Kai Hauser.  Indescribable Cardinals and Elementary Embeddings , 1991, J. Symb. Log..

[15]  Donald A. Martin,et al.  A Basis Theorem for ∑ 1 3 Sets of Reals , 1969 .

[16]  J R Steel,et al.  Projective determinacy. , 1988, Proceedings of the National Academy of Sciences of the United States of America.

[17]  Yiannis N. Moschovakis.  Analytical Definability in a Playful Universe , 1973 .

[18]  Jan Mycielski,et al.  On the axiom of determinateness (II) , 1966 .

[19]  Azriel Levy.  Definability in Axiomatic Set Theory II , 1970 .

[20]  Alexander S. Kechris.  The Axiom of Determinancy Implies Dependent Choices in L(R) , 1984, J. Symb. Log..

[21]  Motokiti Kondô.  Sur l'uniformisation des complémentaires analytiques et les ensembles projectifs de la seconde classe , 1939 .

[22]  K. Gödel.  The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

[23]  R. Jensen,et al.  The Core Model , 1982, An Introduction to Geographical and Urban Economics.

[24]  John R. Steel,et al.  A proof of projective determinacy , 1989 .

[25]  William J. Mitchell,et al.  Sets constructible from sequences of ultrafilters , 1974, Journal of Symbolic Logic.

[26]  W. Hugh Woodin.  On the Consistency Strength of Projective UNI Formization , 1982 .

[27]  N. Lusin.  Sur la classification de M. Baire. , 1917 .

[28]  Wacław Sierpiński,et al.  Sur une classe d'ensembles , 2022 .

[29]  Patrick Suppes,et al.  Logic, Methodology and Philosophy of Science , 1963 .

[30]  Y. Moschovakis.  Descriptive Set Theory , 1980 .

[31]  Menachem Magidor,et al.  Universally Baire Sets of Reals , 1992 .