Source: J. Symbolic Logic
Volume 76, Issue 4
If the bounded proper forcing axiom BPFA holds and ω1=ω1L, then there is a lightface Σ13 well-ordering of the reals. The argument combines a well-ordering due to Caicedo-Veličković with an absoluteness result for models of MA in the spirit of “David's trick.” We also present a general coding scheme that allows us to show that BPFA is equiconsistent with R being lightface Σ14, for many “consistently locally certified” relations R on ℝ. This is accomplished through a use of David's trick and a coding through the Σ2 stable ordinals of L.
Joan Bagaria, Bounded forcing axioms as principles of generic absoluteness, Archive for Mathematical Logic, vol. 39 (2000), no. 6, pp. 393–401.
James Baumgartner, Applications of the proper forcing axiom, Handbook of set-theoretic topology (Kenneth Kunen and Jerry Vaughan, editors), North-Holland, Amsterdam, 1984, pp. 913–959.
Mathematical Reviews (MathSciNet): MR776640
Andrés E. Caicedo, Projective well-orderings and bounded forcing axioms, Journal of Symbolic Logic, vol. 70 (2005), no. 2, pp. 557–572.
Andrés E. Caicedo and Ralf Schindler, Projective well-orderings of the reals, Archive for Mathematical Logic, vol. 45 (2006), pp. 783–793.
Andrés E. Caicedo and Boban Veličković, The bounded proper forcing axiom and well-orderings of the reals, Mathematical Research Letters, vol. 13 (2006), no. 2–3, pp. 393–408.
Sy-D. Friedman, David's trick, Sets and proofs (Leeds, 1997) (Barry Cooper and John Truss, editors), London Mathematical Society Lecture Note Series, vol. 258, Cambridge University Press, Cambridge, 1999, pp. 67–71.
––––, Fine structure and class forcing, de Gruyter Series in Logic and its Applications, vol. 3, Walter de Gruyter, Berlin, 2000.
Sy-D. Friedman and Ralf Schindler, Universally Baire sets and definable well-orderings of the reals, Journal of Symbolic Logic, vol. 68 (2003), no. 4, pp. 1065–1081.
Martin Goldstern and Saharon Shelah, The bounded proper forcing axiom, Journal of Symbolic Logic, vol. 60 (1995), no. 1, pp. 58–73.
Greg Hjorth, The size of the ordinal $u_2$, Journal of the London Mathematical Society (2), vol. 52 (1995), no. 3, pp. 417–433.
Donald A. Martin and Robert M. Solovay, Internal Cohen extensions, Annals of Mathematical Logic, vol. 2 (1970), no. 2, pp. 143–178.
Mathematical Reviews (MathSciNet): MR270904
Justin Moore, Set mapping reflection, Journal of Mathematical Logic, vol. 5 (2005), no. 1, pp. 87–98.
Ralf Schindler, Coding into $K$ by reasonable forcing, Transactions of the American Mathematical Society, vol. 353 (2000), pp. 479–489.
––––, Proper forcing and remarkable cardinals II, Journal of Symbolic Logic, vol. 66(2001), no. 3, pp. 1481–1492.
Saharon Shelah, Proper and improper forcing, second ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998.
Saharon Shelah and Lee J. Stanley, Coding and reshaping when there are no sharps, Set theory of the continuum (Berkeley, CA, 1989), Math. Sci. Res. Inst. Publ., vol. 26, Springer, New York, 1992, pp. 407–416.
Martin Zeman, Inner models and large cardinals, de Gruyter Series in Logic and its Applications, vol. 5, Walter de Gruyter, Berlin, 2002.