A note on Woodin's HOD dichotomy

Abstract

A version of Woodin's HOD dichotomy is proved assuming the existence of just one strongly compact cardinal.