Hostname: page-component-76fb5796d-vvkck Total loading time: 0 Render date: 2024-04-27T04:00:35.052Z Has data issue: false hasContentIssue false
  • English
  • Français

A maximal bounded forcing axiom

Published online by Cambridge University Press:  12 March 2014

David Asperó
David Asperó*
Affiliation:
Departament De Lògica, Història I Filosofia De La Ciència, Universitat De Barcelona, Baldiri I Reixach, S/N, 08028 Barcelona, Catalonia, Spain, E-mail: daspero@hotmail.com
*
Institut für formale Logik, Universität Wien, Währingerstrasse 25, 1090 Wien, Austria, aspero@logic.univie.ac.at
Get access Rights & Permissions [Opens in a new window]

Abstract

After presenting a general setting in which to look at forcing axioms, we give a hierarchy of generalized bounded forcing axioms that correspond level by level, in consistency strength, with the members of a natural hierarchy of large cardinals below a Mahlo. We give a general construction of models of generalized bounded forcing axioms. Then we consider the bounded forcing axiom for a class of partially ordered sets Γ1 such that, letting Γ0 be the class of all stationary-set-preserving partially ordered sets, one can prove the following:

(a) Γ0 ⊆ Γ1,

(b) Γ0 = Γ1 if and only if NSω1 is ℵ1-dense.

(c) If P ∉ Γ1, then BFA({P}) fails.

We call the bounded forcing axiom for Γ1Maximal Bounded Forcing Axiom (MBFA). Finally we prove MBFA consistent relative to the consistency of an inaccessible Σ2-correct cardinal which is a limit of strongly compact cardinals.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 67 , Issue 1 , March 2002 , pp. 130 - 142
Copyright
Copyright © Association for Symbolic Logic 2002

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[A]Asperó, D., Bounded forcing axioms and the continuum, Ph.D. thesis, U. Barcelona, 2000.Google Scholar
[B]Bagaria, J., Bounded forcing axioms as principles of generic absoluteness, Archive for Mathematical Logic, vol. 39 (2000), pp. 393–401.CrossRefGoogle Scholar
[B-Fr]Bagaria, J. and Friedman, S., Generic absoluteness, to appear in Annals of Pure and Applied Logic.Google Scholar
[Bau-H-K]Baumgartner, J., Harrington, L., and Kleinberg, S., Adding a closed unbounded set, this Journal, vol. 41 (1976), pp. 481–482.Google Scholar
[D]Devlin, K., Constructibility, Springer-Verlag, Berlin, 1984.CrossRefGoogle Scholar
[F-M-Sh]Foreman, M., Magidor, M., and Shelah, S., Martins Maximum, saturated ideals, and non-regular ultrafilters. Part I, Annals of Mathematics, vol. 127 (1988), pp. 1–47.CrossRefGoogle Scholar
[G-S]Goldstern, M. and Shelah, S., The bounded proper forcing axiom, this Journal, vol. 60 (1995), pp. 58–73.Google Scholar
[Ku]Kunen, K., Set theory. An introduction to independence proofs, North-Holland, Amsterdam, 1980.Google Scholar
[M]Miyamoto, T., Localized reflecting cardinals and weak segments of PFA, preprint.Google Scholar
[S]Shelah, S., Proper and improper forcing, Perspectives in mathematical logic, Springer-Verlag, Berlin, 1998.CrossRefGoogle Scholar
[St-V]Stavi, J. and Väänänen, J., Reflection principles for the continuum, preprint.Google Scholar
[Tl]Todorčević, S., A note on the proper forcing axiom, Axiomatic set theory, AMS, Providence, 1984, pp. 209–218.CrossRefGoogle Scholar
[T2]Todorčević, S., Localized reflection and fragments of PFA, 1999, seminar notes.Google Scholar
[W]Woodin, H., The axiom of determinacy, forcing axioms, and the nonstationary ideal, De Gruyter Series in Logic and its Applications, no. 1, Berlin, New York, 1999.CrossRefGoogle Scholar