The internal consistency of Easton's theorem. - Sy-David Friedman; Pavel Ondrejovic (Ann. Pure Appl. Log., 2008)