Journal of Symbolic Logic

Projective well-orderings and bounded forcing axioms

Andrés Eduardo Caicedo

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

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

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1120224728

Digital Object Identifier
doi:10.2178/jsl/1120224728

Mathematical Reviews number (MathSciNet)
MR2140046

Zentralblatt MATH identifier
1096.03062

Subjects
Primary: 03E15: Descriptive set theory [See also 28A05, 54H05] 03E35: Consistency and independence results 03E45: Inner models, including constructibility, ordinal definability, and core models 03E55: Large cardinals

Keywords
Fine structure inner models strong cardinals Σ¹₃-absoluteness forcing bounded forcing axioms ψ_AC well-orderings

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


Export citation

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.