Published and Submitted Ppapers.

  1. (with Sandra Müller) ``HOD in inner models with Woodin cardinals" pdf

  2. (with Paul Larson and Trevor Wilson) ``A model of AD in which all sets of reals are universally Baire" pdf

  3. (with Ralf Schindler) ``Varsovian models I", pdf

  4. (with Dominik Adolf) ``Derived models of mice below the least fixed point of the Solovay sequence", pdf

  5. (with Nam Trang) ``Tame failures of unique branch hypothesis and models of AD_R+Theta is regular", pdf

  6. ``Translation procedures in descriptive inner model theory", pdf

  7. (with R. Atmai) ``Hod up to AD_R+Theta is measurable", pdf

  8. (with Steel) ``The mouse set conjecture for sets of reals", pdf

  9. ``Covering with universally Baire operators", pdf

  10. (with N., Trang) ``Non-tame mouse from tame failures of the unique branch hypothesis, pdf

  11. (with Caicedo, Larson, Schindler, Steel, and Zeman) ``Square principles in Pmax extensions", pdf

  12. ``Inner model proof of the partition property for delta^2_1", pdf

  13. ``Non-tame mouse from the failure of square at a singular strong limit cardinal", pdf

  14. ``Descriptive inner model theory", Bulletin of Symbolic Logic, pdf

  15. ``On the prewellorderings associated with directed systems of mice", pdf

  16. (with A.Apter and M. Gittik) ``Indestructible strong compactness but not supercompactness" , link

  17. ``On indestructibility aspects of identity crisis". pdf

  18. (with A. Apter) "An Equiconsistency for Universal Indestructibility", link

  19. `` On Hod-supercompactness", pdf

  20. (with A. Apter) "Universal Indestructibility for Supercompactness and Strongly Compact Cardinals", link

  21. (with A. Apter) "A Reduction in Consistency Strength for Universal Indestructibility", link

  22. (with A. Apter) "Identity Crises and Strong Compactness III: Woodin Cardinals", link

  23. (with A. Apter) "Can A Large Cardinal Be Forced From A Condition Implying Its Negation?", link

  24. (with A. Apter) "Jonsson-like Partition Relations and j : V ---> V", link

  25. ``A Theorem On Hamilton Paths"