We introduce and study two classifications refining the polynomial hierarchy. Both extend the difference hierarchy over NP and are analogs of some hierarchies from recursion theory. We answer some natural questions on the introduced classifications, e.g. we extend the result of J.Kadin that the difference hierarchy over NP does not collapse (if the polynomial hierarchy does not collapse).