Cohen forcing and inner models, (2020). Math. Log. Quart., 66: 65-72. doi:10.1002/malq.201800062
Inner mantles and iterated HOD, with Kameryn J. Williams, (2019), . Math. Log. Quart., 65: 498-510. doi:10.1002/malq.201800071. arXiv
Inner-model reflection principles, with Neil Barton, Andres Caicedo, Gunter Fuchs, Joel David Hamkins and Ralf Schindler, Stud Logica (2019). https://doi.org/10.1007/s11225-019-09860-7. pdf, arXiv
From Geometry to Geology: An Invitation to Mathematical Pluralism Through the Phenomenon of Independence, Journal of Indian Council of Philosophical Research, 34(2), 2017, 289-308. doi:10.1007/s40961-017-0099-5. pdf, arXiv
Set-theoretic geology, with Gunter Fuchs and Joel David Hamkins, The Annals of Pure and Applied Logic, 166(4), April 2015, 464-501. arXiv
Pointwise Definable Models of Set Theory, with Joel David Hamkins and David Linetsky, The Journal of Symbolic Logic, 78(1), March 2013, 139-156
The Ground Axiom is Consistent with V \neq HOD, with Joel David Hamkins and W. Hugh Woodin, Proceedings of the American Mathematical Society, 136(8), August 2008, 2943-2949.
The Ground Axiom, The Journal of Symbolic Logic, 72(4), 2007, 1299-1317.
Dissertation.
in the first-order language of set theory is true in the set-theoretic universe 
. A stronger principle, the ground-model reflection principle, asserts that any such 
and indeed 
-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle 
and from the inner-model hypothesis 
. We also consider some questions concerning the expressibility of the principles.
