The Work The hereditarily ordinal definable sets in models of determinacy The details The Author John R. Steel The offers