论文信息 - Projective Uniformization Revisited

Projective Uniformization Revisited

Abstract We give an optimal lower bound in terms of large cardinal axioms for the logical strength of projective uniformization (i.e., the assumption that for any projective set in the real plane there exists a projectively definable function selecting an element from each section of the given set) in conjuction with other regularity properties of projective sets of real numbers, namely Lebesgue measurability and its dual in the sense of category (the property of Baire). Our proof uses a projective computation of the real numbers which code inital segments of a core model and answers a question in Hauser (1995).

Ralf Schindler | Kai Hauser | R. Schindler | Kai Hauser

[1] Kai Hauser. A Minimal Counterexample To Universal Baireness , 1999, J. Symb. Log..

[2] Ernest Schimmerling,et al. THE MAXIMALITY OF THE CORE MODEL , 1997 .

[3] William J. Mitchell,et al. The Covering Lemma up to a Woodin Cardinal , 1997, Ann. Pure Appl. Log..

[4] Jean Raisonnier,et al. A mathematical proof of S. Shelah’s theorem on the measure problem and related results , 1984 .

[5] Greg Hjorth,et al. Strong Cardinals in the Core Model , 1997, Ann. Pure Appl. Log..

[6] Ralf-Dieter Schindler,et al. Strong Cardinals and Sets of Reals in Lω1(ℝ) , 1999, Math. Log. Q..

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

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

[9] John R. Steel,et al. Cabal Seminar 81–85 , 1988 .

[10] Kai Hauser,et al. The Consistency Strength of Projective Absoluteness , 1995, Ann. Pure Appl. Log..

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