Skip to main content
×
Home
    • Aa
    • Aa

Proper Forcing and Remarkable Cardinals

  • Ralf-Dieter Schindler (a1)
Abstract

The present paper investigates the power of proper forcings to change the shape of the universe, in a certain well-defined respect. It turns out that the ranking among large cardinals can be used as a measure for that power. However, in order to establish the final result I had to isolate a new large cardinal concept, which I dubbed “remarkability.” Let us approach the exact formulation of the problem—and of its solution—at a slow pace.

Breathtaking developments in the mid 1980s found one of its culminations in the theorem, due to Martin, Steel, and Woodin, that the existence of infinitely many Woodin cardinals with a measurable cardinal above them all implies that AD, the axiom of determinacy, holds in the least inner model containing all the reals, L(ℝ) (cf. [6[, p. 91). One of the nice things about AD is that the theory ZF + AD + V = L(ℝ) appears as a choiceless “completion” of ZF in that any interesting question (in particular, about sets of reals) seems to find an at least attractive answer in that theory (cf., for example, [5] Chap. 6). (Compare with ZF + V = L!) Beyond that, AD is very canonical as may be illustrated as follows.

Let us say that L(ℝ) is absolute for set-sized forcings if for all posets P ∈ V, for all formulae ϕ, and for all ∈ ℝ do we have that

where is a name for the set of reals in the extension.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[2] A. Beller , R. Jensen , and Ph. Welch , Coding the universe, Cambridge, 1982.

[3] M. Foreman and M. Magidor , Large cardinals and definable counterexamples to the continuum hypothesis, Annals of Pure and Applied Logic, vol. 76 (1995), pp. 4797.

[4] R. Jensen and R. Solovay , Some applications of almost disjoint sets, Mathematical logic and foundations of set theory ( Bar-Hillel , editor), North-Holland, 1970, pp. 84104.

[6] D. Martin and J. Steel , A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), pp. 71125.

[11] S. Shelah , Proper forcing, Springer-Verlag, 1982.

[13] J. Steel , Inner models with many Woodin cardinals, Annals of Pure and Applied Logic, vol. 65 (1993), pp. 185209.

[15] H. Woodin , The axiom of determinacy, forcing axioms, and the nonstationary ideal, de Gruyter, 1999.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Bulletin of Symbolic Logic
  • ISSN: 1079-8986
  • EISSN: 1943-5894
  • URL: /core/journals/bulletin-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 3 *
Loading metrics...

Abstract views

Total abstract views: 91 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 22nd September 2017. This data will be updated every 24 hours.