Extendible cardinals and the mantle

Abstract

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$.