https://victoriagitman.github.io/talks/2019/10/10/ground-model-definability-in-zf.html
This is a talk at the Joint Mathematics Meeting, special session on 'Choiceless Set Theory and related areas', University of Denver, January 15-16, 2020.Slides
victoria gitmangroundmodeldefinabilityrm