The mantle is the intersection of all ground models of $V$. We show that if there exists an extendible cardinal then the mantle is a ground model of $V$.
Inner mantles and iterated HOD
Non-stationary support iterations of Prikry Forcings and Restrictions of Ultrapower Embeddings to the Ground Model
Forcing a countable structure to belong to the ground model
![QR code for arXiv:1803.03944 [math.LO]](http://oss.arxitics.com/images/favicon.svg)