Skip to main content Accessibility help
×
Home

DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE

  • DOMINIK ADOLF (a1) and GRIGOR SARGSYAN (a2)

Abstract

We introduce a mouse whose derived model satisfies $AD_ + {\rm{\Theta }} \ge \theta _{\aleph _2 } $ . More generally, we will introduce a class of large cardinal properties yielding mice whose derived models can satisfy properties as strong as $AD_ + {\rm{\Theta }} = \theta _{\rm{\Theta }} $ .

Copyright

References

Hide All
[1]Closson, E. W., The solovay sequence in derived models associated to mice, Ph.D. thesis, University of California at Berkeley, 2008.
[2]Larson, P. B., The Stationary Tower - Notes on a Course by W. Hugh Woodin, first ed., University Lecture Series, vol. 32, American Mathematical Society, Providence, RI, 2004.
[3]Mitchell, W. J. and Steel, J. R., Fine Structure and Iteration Trees, first ed., Lecture Notes in Logic, vol. 3, Springer, Berlin, 1994.10.1007/978-3-662-21903-4
[4]Sargsyan, G., Hod mice and the mouse set conjecture, Memoirs of the American Mathematical Society, vol. 236 (2015), no. 1111, pp. 1185.10.1090/memo/1111
[5]Sargsyan, G. and Trang, N., The largest Suslin axiom, submitted.
[6]Schlutzenberg, F. and Trang, N., Scales in hybrid mice over ${\Cal R}$. Preprint, available at http://math.cmu.edu/namtrang/scales_frame-2.pdf.
[7]Steel, J., Derived models associated to mice, Computational Prospects of Infinity, Part I: Tutorials (Chong, C., Feng, Q., Slaman, T. A., Woodin, W. H., and Yang, Y., editors), World Scientific Publishing, Singapore, 2008, pp. 105193.10.1142/9789812794055_0003
[8]Steel, J., Local K-c-constructions, this Journal, vol. 72 (2007), no. 3, pp. 721737.
[9]Steel, J., The derived model theorem, Logic Colloquium 2006 (Cooper, S. B., Geuvers, H., Pillay, A., and Väänänen, J., editors), Cambridge University Press, Cambridge, 2009, pp. 280327.
[10]Steel, J., An Outline of Inner Model Theory, Handbook of Set Theory (Foreman, M. and Kanamori, A., editors), Springer, Amsterdam, 2010, pp. 15951684.10.1007/978-1-4020-5764-9_20
[11]Steel, J. and Woodin, W. H., HOD as a core model, Ordinal Definability and Recursion Theory (Kechris, A. S., Löwe, B., and Steel, J. R., editors), Lecture Notes in Logic, Cambridge University Press, Cambridge, 2016, pp. 257346.10.1017/CBO9781139519694.010
[12]Trang, N., Determinacy in $L\left( {,\mu } \right)$. Journal of Mathematical Logic, vol. 14 (2014), no. 1, p. 1450006.10.1142/S0219061314500068
[13]Zhu, Y., Realizing an AD+-model as the derived model of a premouse, Ph.D. thesis, National University of Singapore, 2012.

Keywords

Related content

Powered by UNSILO

DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE

  • DOMINIK ADOLF (a1) and GRIGOR SARGSYAN (a2)

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.