## Journal of Symbolic Logic

### Projective well-orderings and bounded forcing axioms

Andrés Eduardo Caicedo

#### Abstract

In the absence of Woodin cardinals, fine structural inner models for mild large cardinal hypotheses admit forcing extensions where bounded forcing axioms hold and yet the reals are projectively well-ordered.

#### Article information

Source
J. Symbolic Logic, Volume 70, Issue 2 (2005), 557-572.

Dates
First available in Project Euclid: 1 July 2005

https://projecteuclid.org/euclid.jsl/1120224728

Digital Object Identifier
doi:10.2178/jsl/1120224728

Mathematical Reviews number (MathSciNet)
MR2140046

Zentralblatt MATH identifier
1096.03062

#### Citation

Caicedo, Andrés Eduardo. Projective well-orderings and bounded forcing axioms. J. Symbolic Logic 70 (2005), no. 2, 557--572. doi:10.2178/jsl/1120224728. https://projecteuclid.org/euclid.jsl/1120224728

#### References

• D. Asperó and P. Welch Bounded Martin's Maximum, weak Erdős cardinals and $\psi_\AC$, Journal of Symbolic Logic, vol. 67 (2002), no. 3, pp. 1141--1152.
• J. Bagaria Bounded forcing axioms as principles of generic absoulteness, Archive for Mathematical Logic, vol. 39 (2000), no. 6, pp. 393--401.
• S. Baldwin Between strong and superstrong, Journal of Symbolic Logic, vol. 51 (1986), no. 3, pp. 547--559.
• T. Bartoszyński and H. Judah Set theory. On the structure of the real line, A K Peters,1995.
• A. Caicedo Simply definable well-orderings of the reals, Ph.D. Dissertation, Department of Mathematics, University of California, Berkeley,2003.
• A. Caicedo and R. Schindler Projective well-orderings of the reals, Archive for Mathematical Logic,(to appear).
• O. Deiser and D. Donder Canonical functions, non-regular ultrafilters and Ulam's problem on $\w_1$, Journal of Symbolic Logic, vol. 68 (2003), no. 3, pp. 713--739.
• D. Donder and U. Fuchs Revised countable support iterations, Handbook of set theory (M. Foreman, A. Kanamori, and M. Magidor, editors),to appear.
• M. Foreman, M. Magidor, and S. Shelah Martin's Maximum, saturated ideals, and nonregular ultrafilters. I, Annals of Mathematics, vol. 127 (1988), no. 1, pp. 1--47, (FMSh 240).
• S. Friedman Fine structure and class forcing, Walter de Gruyter,2000.
• S. Fuchino Open coloring axiom and forcing axioms, unpublished manuscript,2000.
• M. Gitik and S. Shelah On certain indestructibility of strong cardinals and a question of Hajnal, Archive for Mathematical Logic, vol. 28 (1989), no. 1, pp. 35--42, (GiSh 344).
• M. Goldstern and S. Shelah The bounded proper forcing axiom, Journal of Symbolic Logic, vol. 60 (1995), no. 1, pp. 58--73, (GoSh 507).
• J. Hamkins A class of strong diamond principles, preprint.
• L. Harrington Long projective wellorderings, Annals of Mathematical Logic, vol. 12 (1977), no. 1, pp. 1--24.
• T. Jech Multiple forcing, Cambridge University Press,1986.
• R. Jensen The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229--308.
• H. Judah $\bfDelta13$-sets of reals, Set theory of the reals (H. Judah, editor), Bar-Ilan University,1993, pp. 361--384.
• P. Larson The stationary tower: Notes on a course by W. Hugh Woodin, American Mathematical Society,2004.
• P. Larson and S. Shelah Bounding by canonical functions, with $\CH$, Journal of Mathematical Logic, vol. 3 (2003), no. 2, pp. 193--215.
• R. Laver Making the supercompactness of $\k$ indestructible under $\k$-directed closed forcing, Israel Journal of Mathematics, vol. 29 (1978), no. 4, pp. 385--388.
• D. Martin and R. Solovay A basis theorem for $\Sigma^1_3$ sets of reals, Annals of Mathematics $(2)$, vol. 89 (1969), no. 1, pp. 138--159.
• D. Martin and J. Steel Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 1--73.
• W. Mitchell and J. Steel Fine structure and iteration trees, Springer-Verlag,1994.
• R. Schindler Bounded Martin's Maximum and strong cardinals, preprint.
• R. Schindler, J. Steel, and M. Zeman Deconstructing inner model theory, Journal of Symbolic Logic, vol. 67 (2002), no. 2, pp. 721--736.
• R. Schindler and M. Zeman Fine structure theory, Handbook of set theory (M. Foreman, A. Kanamori, and M. Magidor, editors),to appear.
• J. Steel An outline of inner model theory, Handbook of set theory (M. Foreman, A. Kanamori, and M. Magidor, editors),to appear.
• S. Todorcevic Partition problems in topology, American Mathematical Society,1989.
• H. Woodin The axiom of determinacy, forcing axioms, and the nonstationary ideal, Walter de Gruyter,1999.