Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-19T11:03:42.534Z Has data issue: false hasContentIssue false
  • English
  • Français

Inner Models and Ultrafilters In L(ℝ)

Published online by Cambridge University Press:  15 January 2014

Itay Neeman
Itay Neeman*
Affiliation:
Department of Mathematics, University of California at Los Angeles, Los Angeles, CA 90095-1555, USAE-mail: ineeman@math.ucla.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

We present a characterization of supercompactness measures for ω1 in L(ℝ), and of countable products of such measures, using inner models. We give two applications of this characterization, the first obtaining the consistency of with ZFC+ADL(ℝ), and the second proving the uniqueness of the supercompactness measure over in L(ℝ) for .

Type
Articles
Information
Bulletin of Symbolic Logic , Volume 13 , Issue 1 , March 2007 , pp. 31 - 53
Copyright
Copyright © Association for Symbolic Logic 2007

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

[1] Andretta, Alessandro, Neeman, Itay, and Steel, John, The domestic levels of Kc are iterable, Israel Journal of Mathematics, vol. 125 (2001), pp. 157–201.Google Scholar
[2] Becker, Howard, AD and the supercompactness of ℵ1 , The Journal of Symbolic Logic, vol. 46 (1981), no. 4, pp. 822–842.Google Scholar
[3] Becker, Howard, ADℝ implies that ℵ1 is huge, circulated manuscript.Google Scholar
[4] Dodd, A. and Jensen, R., The coremodel, Annals ofMathematical Logic, vol. 20 (1981), no. 1, pp. 43–75.Google Scholar
[5] Harrington, Leo A. and Kechris, Alexander S., On the determinacy of games on ordinals, Annals of Mathematical Logic, vol. 20 (1981), no. 2, pp. 109–154.Google Scholar
[6] Martin, Donald A. and Steel, John R., The extent of scales in L(R), Cabal seminar 79–81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 86–96.CrossRefGoogle Scholar
[7] Martin, Donald A. and Steel, John R., Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 1–73.CrossRefGoogle Scholar
[8] Mitchell, William J., Sets constructed from sequences of measures: revisited, The Journal of Symbolic Logic, vol. 48 (1983), no. 3, pp. 600–609.Google Scholar
[9] Mitchell, William J. and Steel, John R., Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer, Berlin, 1994.Google Scholar
[10] Neeman, Itay, Optimal proofs of determinacy, this Bulletin, vol. 1 (1995), no. 3, pp. 327–339.Google Scholar
[11] Neeman, Itay and Zapletal, Jindřich, Proper forcing and L(ℝ), The Journal of Symbolic Logic, vol. 66 (2001), no. 2, pp. 801–810.Google Scholar
[12] Steel, John R., Inner models with many Woodin cardinals, Annals of Pure and Applied Logic, vol. 65 (1993), no. 2, pp. 185–209.Google Scholar
[13] Steel, John R., HODL(ℝ) is a core model below Θ, this Bulletin, vol. 1 (1995), no. 1, pp. 75–84.Google Scholar
[14] Steel, John R., Woodin's analysis of HODL(Θ), Unpublished notes, 1996, available at http://math.berkeley.edu/.steel/papers/hodlr.ps.Google Scholar
[15] Steel, John R., An outline of inner model theory, to appear in the Handbook of Set Theory.Google Scholar
[16] Steel, John R. and Wesep, Robert Van, Two consequences of determinacy consistent with choice, Transactions of the American Mathematical Society, vol. 272 (1982), no. 1, pp. 67–85.Google Scholar
[17] Woodin, W. Hugh, AD and the uniqueness of the supercompact measures on Pω1(λ) , Cabal seminar 79–81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 67–71.Google Scholar
[18] Woodin, W. Hugh, Some consistency results in ZFC using AD, Cabal seminar 79–81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 172–198.CrossRefGoogle Scholar