CategoryResearch

Cohen forcing and inner models, (2020). Math. Log. Quart., 66: 65-72. doi:10.1002/malq.201800062, arXiv 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). ; pdf, arXiv...