Skip to main content
    • Aa
    • Aa


  • W. HUGH WOODIN (a1)

We give a fairly complete account which first shows that the solution to the inner model problem for one supercompact cardinal will yield an ultimate version of L and then shows that the various current approaches to inner model theory must be fundamentally altered to provide that solution.

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.

Q. Feng , M. Magidor , and W. Hugh Woodin , Universally Baire sets of reals , Set Theory of the Continuum ( H. Judah , W. Just , and H. Woodin , editors), Mathematical Sciences Research Institute Publications, vol. 26, Springer–Verlag, Heidelberg, 1992, pp. 203242.

M. Foreman and M. Magidor , A very weak square principle . Journal of Symbolic Logic, vol. 62 (1997), pp. 175198.

J. D. Hamkins , Extensions with the approximation and cover properties have no new large cardinals . Fundamenta Mathematicae, vol. 180 (2003), no. 3, pp. 257277.

K. Kunen , Some applications of iterated ultrapowers in set theory . Annals of Mathematical Logic, vol. 1 (1970), pp. 179227.

K. Kunen , Elementary embeddings and infinitary combinatorics . Journal of Symbolic Logic, vol. 36 (1971), pp. 407413.

M. Magidor , On the role of supercompact and extendible cardinals in logic . Israel Journal of Mathematics, vol. 10 (1971), pp. 147157.

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

D. A. Martin and J. Steel , Iteration trees . Journal of the American Mathematical Society, vol. 7 (1994), pp. 174.

W. J. Mitchell and J. R. Steel , Fine Structure and Iteration Trees, Springer-Verlag, Berlin, 1994.

I. Neeman , Inner models in the region of a Woodin limit of Woodin cardinals . Annals of Pure and Applied Logic, vol. 116 (2002), no. (1–3), pp. 67155.

W. Hugh Woodin , Suitable extender models I . Journal of Mathematical Logic, vol. 10 (2010), no. 1–2, pp. 101341.

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? *



Full text views

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

Abstract views

Total abstract views: 374 *
Loading metrics...

* Views captured on Cambridge Core between 3rd April 2017 - 21st September 2017. This data will be updated every 24 hours.