Textmeddelande: Post's programme for the Ershov hierarchy