Skip to main content Accessibility help
×
Home

On the Prewellorderings Associated with the Directed Systems of Mice

  • Grigor Sargsyan (a1)

Abstract

Working under AD, we investigate the length of prewellorderings given by the iterates of ℳ2k+1, which is the minimal proper class mouse with 2k + 1 many Woodin cardinals. In particular, we answer some questions from [4] (the discussion of the questions appears in the last section of [2]).

Copyright

References

Hide All
[1] Harrington, Leo A. and Kechris, Alexander S., On the determinacy of games on ordinals, Annals of Mathematical Logic, vol. 20 (1981), no. 2, pp. 109154.
[2] Hjorth, Greg, A boundedness lemma for iterations, available at http://www.math.ucla.edu/~greg/research.html.
[3] Hjorth, Greg, Variations of the Martin-Solovay tree, this Journal, vol. 61 (1996), no. 1, pp. 4051.
[4] Hjorth, Greg, A boundedness lemma for iterations, this Journal, vol. 66 (2001), no. 3, pp. 10581072.
[5] Jackson, Steve, Structural consenquences of AD, Handbook of set theory (Foreman, Matt and Kanamori, Akihiro, editors), vol. 3, Springer-Verlag, 2010, pp. 17531876.
[6] Kanamori, Akihiro, The higher infinite, second ed., Springer Monographs in Mathematics, Springer, Berlin, 2003.
[7] Kechris, A. S. and Martin, D. A., On the theory of sets of reals, Bulletin of the American Mathematical Society, vol. 84 (1978), no. 1, pp. 149151.
[8] Kechris, Alexander S., Martin, Donald A., and Solovay, Robert M., Introduction to Q-theory, Cabal seminar 79-81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 199282.
[9] Martin, Donald A., The largest countable this, that, and the other, Cabal seminar 79-81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 97106.
[10] Martin, Donald A. and Steel, John R., Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 173.
[11] Mitchell, William J. and Steel, John R., Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer, Berlin, 1994.
[12] Moschovakis, Yiannis N., Descriptive set theory, second ed., Mathematical Surveys and Monographs, vol. 155, American Mathematical Society, Providence, RI, 2009.
[13] Itayneeman, , Optimal proofs of determinacy, The Bulletin of Symbolic Logic, vol. 1 (1995), no. 3, pp. 327339.
[14] Itayneeman, , Optimal proofs of determinacy. II, Journal of Mathematical Logic, vol. 2 (2002), no. 2, pp. 227258.
[15] Sargsyan, Grigior, A tale ofhybridmice, Available at http://math.ucla.edu/~grigor.
[16] Schindler, Ralf and Steel, John R., The core model induction, Available at http://math.berkeley.edu/~steel.
[17] Schindler, Ralf and Steel, John R., The self-iterability of L[E], this Journal, vol. 74 (2009), no. 3, pp. 751779.
[18] Solovay, Robert M., A coding of the subsets of ωω , Cabal Seminar 76-77, Lecture Notes in Mathematics, vol. 689, Springer, Berlin, 1978, pp. 133150.
[19] Steel, John R., Projectively well-ordered inner models, Annals of Pure and Applied Logic, vol. 74 (1995), no. 1, pp. 77104.
[20] Steel, John R., HODL(R) is a core model below Θ, The Bulletin of Symbolic Logic, vol. 1 (1995), no. 1, pp. 7584.
[21] Steel, John R., PFA implies ADL(ℝ), this Journal, vol. 70 (2005), no. 4, pp. 12551296.
[22] Steel, John R., An outline of inner model theory, Handbook of set theory (Foreman, M. and Kanamori, A., editors), vol. 3, Springer, 2010, pp. 15951684.
[23] Steel, John R., Woodin's analysis of HODL(ℝ), available at www.math.berkeley.edu/~steel.\
[24] Zeman, Martin, Inner models and large cardinals, de Gruyter Series in Logic and its Applications, vol. 5, Walter de Gruyter & Co., Berlin, 2002.

Keywords

Metrics

Full text views

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

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed